OpenAI's reasoning model autonomously disproves the Erdős unit distance conjecture – an 80-year-old open problem in discrete mathematics
On 20 May 2026, OpenAI announced that one of its internal general-purpose reasoning models autonomously disproved the Erdős unit distance conjecture, a central open problem in discrete geometry first posed by mathematician Paul Erdős in 1946. The proof – 125 pages – establishes an infinite family of planar point configurations that produce significantly more unit-distance pairs than the square-grid arrangements mathematicians had assumed to be optimal for nearly eight decades. Fields medalist Tim Gowers reviewed the proof independently and described it as "a milestone in AI mathematics." Princeton mathematician Will Sawin refined the result and quantified the improvement: the best configurations now scale as n^(1+δ), where δ ≥ 0.014, confirmed in a companion paper published the same day.
The method surprised the mathematical community most. Rather than extending known geometry techniques, the model connected the problem to algebraic number theory – specifically, Golod-Shafarevich class field towers – a deep branch of mathematics with no prior connection to combinatorial geometry. Number theorist Arul Shankar stated the work shows AI systems can move beyond assisting mathematicians to generating genuinely original ideas. OpenAI confirmed the model was not specifically trained on the unit distance problem and received only the problem statement before producing the proof independently.
Commission a structured audit – within 60 days – of which internal long-standing open problems map to the class of mathematical or logical reasoning tasks now demonstrably within AI scope. The Erdős result is not an isolated case; it is a calibration point for capability.
Review the OpenAI methodology notes (available on openai.com) as a benchmark for problem-framing and evaluation design. The model received only the problem statement – structured problem delivery, not guided scaffolding, was sufficient. That is the relevant engineering finding.
Begin updating AI-in-research ethics frameworks immediately to account for systems capable of autonomous first solutions – not just co-authorship tools. Current frameworks assume AI as assistant. This result requires treating AI as potential primary contributor, with corresponding attribution and verification standards.