In mid-May 2026, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a significant problem in discrete geometry that had challenged mathematicians for 80 years. OpenAI provided several mathematicians with early access to the results and published their reactions. Tim Gowers, a Fields Medal recipient, stated that the solution represents a milestone in AI mathematics. Daniel Litt, a professor at the University of Toronto, expressed that this is the first example of an autonomously produced result by AI that he finds exciting.
✓ AI-Debiased Article
15
Public broadcaster
provisional
OpenAI Model Disproves Erdős Unit Distance Conjecture
OpenAI announced that its AI model has disproved the Erdős unit distance conjecture, a problem that has perplexed mathematicians for 80 years. Reactions from mathematicians, including Fields Medalist Tim Gowers, highlight the significance of this achievement in the field of AI mathematics.
Companies
OpenAI
People
Tim Gowers
Daniel Litt
Annotating as
No note attached
on this article.
Original vs. Neutral
Original Headline
An OpenAI model solved a famous math problem that stumped humans for 80 years
Neutral Headline
OpenAI Model Disproves Erdős Unit Distance Conjecture