OpenAI has announced that its new reasoning model has generated an original mathematical proof disproving an 80-year-old geometry conjecture. Unlike a previous claim involving unsolved Erdős problems, this time OpenAI has provided supporting remarks from mathematicians. The company states this achievement demonstrates AI's growing capability in complex, long-chain reasoning and cross-disciplinary idea connection, with potential impacts across science and medicine. AI
Summary written by gemini-2.5-flash-lite from 2 sources. How we write summaries →
IMPACT Demonstrates AI's capacity for complex reasoning and cross-disciplinary connections, potentially accelerating scientific discovery.
RANK_REASON AI model generates novel mathematical proof for a long-standing conjecture, supported by external mathematicians.