AI Cracks an Eighty Year Erdős Mystery: How OpenAI's Reasoning Model Disproved the Unit Distance Conjecture Using Algebraic Number Theory - May 22, 2026

AI Cracks an Eighty Year Erdős Mystery: How OpenAI's Reasoning Model Disproved the Unit Distance Conjecture Using Algebraic Number Theory - May 22, 2026 On May 20, 2026, OpenAI announced that a general purpose reasoning model autonomously disproved a long standing conjecture connected to the famous Erdős unit distance problem first posed in 1946. The construction uses algebraic number fields, infinite class field towers, and the Golod-Shafarevich theorem to beat the conjectured square grid bound by a polynomial factor. Chris and Laura unpack why this is the first credible autonomous AI math discovery, what the proof actually says, who has reviewed it, and what it signals for the future of AI driven scientific research. Hosted by Chris and Laura. The DX Today Podcast brings you daily deep dives into the most consequential stories in the AI ecosystem. Send us fan mail: https://dxtoday.com/contact #AI #OpenAI #Mathematics #ReasoningModels #ScientificDiscovery