OpenAI's Reasoning Model Disproves 80-Year-Old Erdős Conjecture in Geometry
OpenAI claims its new general-purpose reasoning model has autonomously produced an original mathematical proof disproving a famous unsolved conjecture in geometry first posed by Paul Erdős in 1946. This follows a previou...