Home / Science / AI Cracks 80-Year Math Puzzle
AI Cracks 80-Year Math Puzzle
31 May
Summary
- An OpenAI AI model solved the unit distance problem posed in 1946.
- The AI found a counterexample, disproving Erdos's famous conjecture.
- The solution reveals unit-distance pairs can exceed expected upper bounds.
A nearly 80-year-old mathematics problem, the unit distance problem, has been solved by an OpenAI AI model. First posed in 1946 by Paul Erdos, the problem questioned the maximum number of pairs of points that can be one unit apart on a flat surface. OpenAI researchers tasked their AI with the challenge, expecting it to confirm Erdos's conjecture.
Instead, the AI produced a counterexample, disproving the conjecture. This finding indicates that unit-distance pairs can grow faster than mathematicians had anticipated for certain large point sets. The AI's solution integrated algebraic number theory and discrete geometry, ideas previously overlooked by human researchers.
The mathematical community has lauded this achievement. Fields Medal winner Timothy Gowers called it a milestone in AI mathematics, highlighting the AI's ability to achieve what many human experts could not. This success marks a significant step in AI's capacity to contribute to original scientific discovery.
