OpenAI's Internal Model Disproves Erdős Unit-Distance Conjecture
2 videos · score: 4,638 · first seen May 21, 2026
An unreleased OpenAI reasoning model disproves the 80-year-old Erdős planar unit-distance conjecture, finding an infinite family of point layouts with more unit-distance connections than the previously assumed optimal grid arrangement, showcasing AI-driven progress in combinatorial geometry.
OpenAI just SOLVED MATH....
OpenAI's unreleased internal math model has disproved the planar unit distance conjecture with a verified novel proof, marking the first genuine mathematical discovery by an AI and published on the same day as Google I/O.
The Erdős Breakthrough
An AI model solved a renowned unsolved Erdős problem in combinatorial geometry by improving an optimal construction using deep algebraic number theory, marking the first clear example of AI achieving a breakthrough that stunned researchers.