An OpenAI model solved a famous math problem that stumped humans for 80 years
Ars Technica AI · Kai Williams · 2026-06-01
An internal OpenAI model autonomously disproved the Erdős unit distance conjecture, an 80-year-old unsolved problem in discrete geometry, earning validation from Fields Medal winner Tim Gowers as a genuine milestone in AI mathematics.
Appears in
Extraction
Topics: ai-mathematicsautonomous-reasoningopenaitheorem-proving
Claims
- An OpenAI model disproved the Erdős unit distance conjecture, which had remained unsolved for approximately 80 years.
- Fields Medal laureate Tim Gowers confirmed the result constitutes a milestone in AI mathematics, not merely a benchmark achievement.
- University of Toronto professor Daniel Litt identified this as the first AI-produced mathematical result he finds intrinsically exciting rather than merely indicative of future potential.
- OpenAI provided early access to several mathematicians before publishing, adding independent expert validation to the claim.
Key quotes
there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.
this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.