OpenAI's reasoning model disproves 80-year-old Erdős conjecture
An 80-year-old unsolved math problem falls to an AI for the first time.
Deep Dive
OpenAI announced that an internal general-purpose reasoning model independently disproved the 80-year-old Erdős unit distance conjecture in discrete geometry. The proof was verified by external mathematicians, including a Fields Medal winner.
Key Points
- OpenAI's general-purpose reasoning model independently disproved the Erdős unit distance conjecture, unsolved for 80 years.
- The proof was verified by external experts, including a Fields Medal winner, confirming its validity.
- This marks the first known instance of an AI solving a long-standing open problem in pure mathematics without specialized training.
Why It Matters
AI now demonstrates autonomous capability in pure mathematics, potentially revolutionizing theorem discovery and proof verification.