OpenAI has revealed that one of its advanced reasoning models successfully disproved an 80-year-old conjecture in discrete geometry related to the planar unit distance problem, originally proposed by mathematician Paul Erdős in 1946. For decades, researchers believed square-grid constructions were close to optimal for maximizing unit-distance point pairs in a plane.
OpenAI’s model identified a new infinite family of constructions that surpassed previous assumptions using advanced algebraic number theory methods. Independent mathematicians later verified the proof and described the achievement as a major breakthrough in AI-assisted mathematics.
The result highlights how frontier AI systems are increasingly capable of contributing to original scientific discovery and advanced mathematical research.
