OpenAI's AI model disproves 80-year-old Erdos conjecture in geometry
A decades-old math problem that stumped generations of mathematicians finally falls to AI.
Deep Dive
Erdos problem 90 has been resolved. Unlike most of the dozen-plus Erdos problems solved using AI—which are considered trivial—problem 90 is different. It went unsolved for 80 years, resisting generations of mathematicians despite its simple setup.
Key Points
- Erdos problem 90, a central conjecture in discrete geometry, went unsolved for 80 years.
- Previous AI solutions to Erdos problems were considered trivial; this is a genuine breakthrough.
- The OpenAI model constructed a counterexample, demonstrating creative mathematical reasoning.
Why It Matters
Demonstrates AI's ability to solve deep, unsolved math problems, accelerating fundamental research and discovery.