OpenAI Unreleased Math Model Disproves Erdős Conjecture
2 videos · score: 6,350 · first seen Jun 10, 2026
OpenAI's unreleased internal reasoning model has allegedly disproved the planar unit distance conjecture, a decades-old math problem posed by Paul Erdős in 1946 — creators like Wes Roth highlight it as AI's first verified mathematical breakthrough, while others like Two Minute Papers emphasize the system's innovative use of unreliable components, with both praising its significance in AI-driven problem-solving.
DeepMind’s New AI Found A Strange New Way To Think
DeepMind's AlphaProof Nexus solved 9 unsolved Erdős problems using a tournament system with a cheap judge AI and Lean formal language, with creator Károly Zsolnai Fehér framing the innovation as tightening the harness loop around unreliable AI rather than improving model intelligence.
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.