OpenAI announced an internal reasoning model disproved the Erdős unit distance conjecture. Paul Erdős first posed this discrete geometry problem in 1946.
The model autonomously generated the proof. This marks the first time AI has solved a major open problem in a core mathematical field.
The achievement signals a shift from pattern recognition to complex abstract reasoning. This breakthrough highlights accelerating progress toward artificial general intelligence (AGI).
AI models may now serve as collaborators for novel scientific discoveries. These systems will work alongside human experts to expand theoretical research.