OpenAI's AI cracks 80-year-old Erdős unit distance math problem
A single AI model solves a famous open problem from 1946 that stumped mathematicians for decades.
Deep Dive
OpenAI’s AI has achieved a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946, marking a major breakthrough for artificial intelligence.
Key Points
- OpenAI's o3 model solves the 80-year-old planar unit distance problem by Erdős.
- The AI proves the maximum unit-distance pairs is O(n^(4/3)), a tight bound previously only conjectured.
- This is the first time an AI has independently solved a long-standing open problem in discrete geometry.
- The proof has been verified by mathematicians and is accepted for publication.
Why It Matters
AI can now tackle unsolved pure math problems, opening new avenues for automated scientific discovery and proof generation.