OpenAI Claims Breakthrough in Solving 80-Year-Old Math Problem
OpenAI has announced a significant achievement in mathematics, claiming that its new reasoning model has produced an original proof disproving a long-standing conjecture in geometry posed by Paul Erdős in 1946. This marks the first time an AI system has autonomously solved a prominent open problem in mathematics. The proof was generated by a general-purpose reasoning model, not specifically designed for math problems, indicating AI's growing capability to handle complex reasoning tasks. This development suggests potential applications across various fields, including biology, physics, engineering, and medicine.