OpenAI model disproves an 80-year-old maths conjecture – a first for autonomous AI research

On May 20, OpenAI announced that an internal reasoning model autonomously disproved the unit distance conjecture in discrete geometry – a problem first posed by Paul Erdős in 1946 and described as possibly the best-known open question in combinatorial geometry. The AI produced an infinite family of point configurations that deliver a strict polynomial improvement over the square-grid lower bound that had stood unchallenged for 80 years. The proof has been independently verified by external mathematicians, including Princeton’s Noga Alon, and reveals an unexpected bridge between algebraic number theory and discrete geometry.

This is the first documented case of an AI autonomously solving a prominent open problem in pure mathematics. For R&D-intensive industries, it signals that frontier AI models are crossing from tool to collaborator in deep research. Enterprises in pharma, materials science, and engineering should watch this capability curve closely.