OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946
Read the proof(opens in a new window)Read the companion remarks(opens in a new window) — Loading...
OpenAI
Context & Ripple Effects
Earlier coverage framed OpenAI’s o1 line as a major step in reasoning while identifying spatial reasoning as a persistent weakness. In parallel, Google DeepMind pursued specialized mathematics systems for proof and geometry.
More recent coverage described mathematics as an increasingly important test bed for reasoning models. OpenAI’s claim is notable because it attaches that test to an internal general-purpose model rather than a system presented as narrowly specialized.
First-order effects
OpenAI’s model and accompanying proof materials will face scrutiny from mathematicians; acceptance or rejection of the argument will determine the practical weight of the claim.
For OpenAI, the result—if it withstands review—would provide a concrete research-level demonstration of its general-purpose reasoning positioning, not just improved performance on model evaluations.
Second-order effects
The claim raises competitive pressure on AI labs to show whether broad reasoning models can match or exceed math systems built around specialized proof or geometry capabilities.
Math researchers and AI evaluators are likely to place greater emphasis on verifiable outputs such as proofs and expert review, rather than relying solely on reported reasoning-model performance.
Third-order effects
If general-purpose models repeatedly produce reviewable advances in difficult mathematics, mathematical research could become a more consequential proving ground for AI capability and reliability.
The comparison between general-purpose reasoning models and specialized math tools may become a central product and research-design question, though individual claims will still depend on independent validation.
The trend: AI labs are moving from benchmark-oriented reasoning claims toward attempts to demonstrate research value through externally checkable mathematical results.
This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of reasoning, connecting ideas across distant fields, and surfacing paths researchers may not have explored. We believe those same abilities will soon accelerate
this should feel surprising. in some sense it's objectively very big news. but this was so clearly the trajectory we were on that it actually just feels like another normal day. life on the METR trendline.
This is a major turning point or a milestone in the impact of AI on solving math problems! The breakthrough was through an internal OpenAI model, which is mind-blowing 🤯. That's all for now and be ready for arrival to the next checkpoint☺️
1/ Ten months ago, I was ecstatic that AI could win IMO gold. Today, that excitement feels quaint: an internal @OpenAI model has refuted Erdos's unit distance conjecture—a research result that one could recommend “acceptance without any hesitation” to the Annals of Mathematics.
An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946. This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
Journals have an explicit policy of not publishing AI authored work. So what will that mean here? They can't stop AI contributing to knowledge. Can they stop it being cited?
Once AI starts making solving open problems in novel ways it won't stop. We are entering the final stage of human solutions to open problems like this. Feels weird, doesn't it?
Today, we're sharing that a general-purpose internal @openai model achieved a breakthrough on one of the best-known combinatorial geometry problems. Less than 1 year ago frontier AI models were at IMO gold-level performance. I expect this pace of progress to continue.
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities. https://openai.com/...
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that [video]
OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem. “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”
a general-purpose model solved a major open problem in mathematics. we'll be saying this a lot over the coming years, but this is a kinda big milestone. i'm very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today.