A machine just did something that eluded some of the sharpest mathematical minds on the planet for nearly eight decades. OpenAI’s internal reasoning model has disproved the planar unit distance conjecture, a problem first posed by the legendary Hungarian mathematician Paul Erdős in 1946.
The conjecture concerned a deceptively simple question: given n points in a flat plane, what is the maximum number of pairs of points that are exactly one unit apart? Erdős believed the upper bound grew at a rate of roughly n raised to the power of 1 plus some constant divided by log log n. In English: he thought the number of unit-distance pairs couldn’t grow much faster than the number of points themselves. The AI proved him wrong.
What the model actually found
OpenAI’s model discovered an infinite family of point configurations that achieve approximately n^(1+0.014) unit distances among n points. That exponent, 0.014, might look tiny. It is not.
The previous best constructions were based on square grids, which mathematicians had been refining for decades without breaking through the conjectured ceiling. The AI’s approach didn’t just inch past the old bound. It identified a fundamentally new construction method that links geometry to algebraic number theory, utilizing tools such as infinite class field towers.
The human stamp of approval
A machine-generated proof means nothing without rigorous verification, and this one got the gold standard. Fields Medalist Tim Gowers, one of the most decorated living mathematicians, reviewed the model’s findings. He validated them as meeting high academic standards for publication.
Princeton mathematician Will Sawin went further, formalizing the construction.
The validation also signals something about the nature of the AI system involved. This wasn’t a general-purpose chatbot stumbling onto a proof. OpenAI used what it describes as an internal general reasoning model, suggesting a system specifically designed or fine-tuned for sustained logical reasoning rather than conversational fluency.
Why this matters beyond mathematics
The planar unit distance problem sits at the heart of combinatorial geometry, a field with applications in computational geometry, network design, and optimization. Disproving the conjecture doesn’t just answer one question. It potentially reshapes the landscape of related problems that were built on the assumption Erdős was right.
The proof’s methodology, connecting geometric constructions to algebraic number theory through class field towers, is particularly notable. It suggests the model can identify non-obvious connections between mathematical domains.