Research
AI
OpenAI’s AI autonomously disproves 80-year-old Erdős conjecture, marking first frontier mathematical discovery
A reasoning model independently solved the Erdős unit distance problem in May 2026, validating AI as a genuine research tool in pure mathematics and accelerating the timeline for machine-driven scientific discovery.
AI
OpenAI Model Disproves 80-Year-Old Geometry Conjecture Without Human Guidance
AI independently solved the planar unit distance problem—the first time a major open mathematical conjecture has fallen to autonomous machine reasoning.