OpenAI's AI Disproves 80-Year-Old Erdős Conjecture
On May 20, 2026, OpenAI announced on its official blog that an internal general-purpose reasoning model had autonomously found a counterexample disproving the "unit distance problem," a central open question in discrete geometry posed by mathematician Paul Erdős in 1946. That a general-purpose reasoning model—not a specialized math model—overturned a conjecture unresolved for nearly 80 years marks a milestone in AI-driven mathematical research. Details
In 1946, Erdős asked for the maximum number of pairs of points at distance exactly 1 among n points in the plane, and conjectured that this number stays nearly linear, at n^{1+o(1)}. The intuition that configurations close to a square grid are optimal long prevailed, and most mathematicians worked to prove the conjecture. Yet OpenAI's model constructed an infinite family of configurations in which the number of unit-distance pairs reaches n^{1+δ} (a polynomial improvement with a fixed exponent δ>0), showing the conjecture does not hold. The construction relied on a 2D projection of high-dimensional lattices using methods from algebraic number theory such as Golod-Shafarevich theory, overturning the long-held belief in the optimality of the square grid. Tech Times
The proof was published after verification and refinement by human mathematicians. The model generated hundreds of pages of logic and computation, from which humans, working from a roughly 2.5-page summary, fleshed out an 18-page proof PDF. r/math OpenAI gave early access to mathematicians including Fields Medalist Tim Gowers and published a supplementary PDF of positive comments. Gowers called it a "milestone in AI mathematics." Human verification continues, with Princeton's Will Sawin specifying δ=0.014 in an arXiv paper. understanding ai
Although there were prior cases of AI resolving Erdős problems, those were often judged "impressive but not top-journal caliber." By contrast, many say this result would warrant top-journal publication even if produced by a human alone, positioning it as the first instance of an AI autonomously disproving a central open problem in the field. Scientific American Outlets analyzed it as a case that played to AI's strengths in large-scale search and exploiting unexpected branches. Ars Technica
On June 4, OpenAI's official account introduced the achievement as a podcast episode featuring researchers Alexander Wei (@alexwei_), Hongxun Wu (@HongxunWu), and Lijie Chen (@wjmzbmr1) with Andrew Mayne, discussing how mathematicians and models can collaborate. Post Reactions on X were largely positive, with comments such as "the moment AI stops looking like a chatbot and starts looking like a research partner" and "a result that quiets the 'LLMs can't do real math' crowd," along with "deep blue vs kasparov vibes for the math world." Reaction Math communities such as Reddit's r/math actively shared the proof PDF and analyses that "algebraic constructions beat square grids," with early skepticism eased by comments from Gowers and others.