OpenAI AI Autonomously Solves 80-Year Erdős Math Conjecture
A general-purpose OpenAI reasoning model — not a mathematics-specialist system — has autonomously disproved the planar unit distance conjecture first posed by Paul Erdős in 1946. For roughly 80 years, mathematicians believed the best solutions to this combinatorial geometry problem resembled square grids; the model discovered an entirely new family of constructions that performs better, disproving that assumption. OpenAI described this as the first time AI has autonomously solved a prominent open problem central to a mathematical field, framing the result as a preview of what AI will achieve in biology, physics, and engineering.
Why It Matters
This milestone signals that frontier AI reasoning is moving beyond benchmark saturation into genuine scientific discovery. The fact that a general-purpose model solved it — not a domain specialist — underscores broad transfer potential and shifts the horizon for AI contributions to foundational science.