An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI Blog · 2026-05-20
An OpenAI model disproved the 80-year-old unit distance conjecture in discrete geometry, becoming the first AI system to independently resolve a major open problem in pure mathematics.
Extraction
Topics: ai-mathdiscrete-geometryopenaimathematical-discovery
Claims
- An OpenAI model solved the unit distance problem in discrete geometry, which had remained open for approximately 80 years.
- The model disproved rather than proved the conjecture, producing a counterexample.
- OpenAI characterizes this as a milestone in AI-driven mathematical research.
Key quotes
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.