How a reasoning model cracked an 80-year-old math problem - Episode 20

About this episode

The episode discusses how AI helped disprove an 80-year-old math conjecture and its implications for the future of mathematics.

Last month AI found something mathematicians had missed for decades. Reasoning researchers Alexander Wei, Hongxun Wu, and Lijie Chen join the podcast to discuss how a general-purpose model helped disprove an 80-year-old conjecture from famed mathematician Paul Erdős. They walk through the moment the result started looking real, what it took to verify the proof, and what’s happened since sharing the discovery with the world. They also explore what this means for the future of math and for researchers learning to work with AI. Chapters 0:44 AI and the International Math Olympiad and International Olympiad of Informatics 6:35 An OpenAI model disproves the Erdős unit distance conjecture 8:33 Running the model and checking the proof 11:04 Why general models matter for discovery 15:55 Creativity, tools, and how the proof worked 18:25 Why AI should feel empowering for mathematicians 22:31 Advice for researchers using AI 27:24 What comes next for math and AI research 37:30 Cryptography, quantum computing, and the future Hosted on Acast. See acast.com/privacy for more information.

People in this episode

Host: OpenAI

Guests: Alexander Wei, Hongxun Wu, Lijie Chen

Topics covered

• AI in mathematics
• Erdős conjecture
• reasoning models
• mathematical discovery
• future of AI in research

Keywords

• AI
• mathematics
• Erdős conjecture
• reasoning model
• mathematical proof
• discovery
• research

More episodes of OpenAI Podcast

• Inside image generation’s Renaissance moment - Episode 19 · May 14, 2026 · 29 min
• Why AI needs a new kind of supercomputer network - Episode 18 · May 6, 2026 · 38 min
• What happens now that AI is good at math? - Episode 17 · April 28, 2026 · 43 min
• Building AI for Life Sciences - Episode 16 · April 16, 2026 · 44 min
• Inside the Model Spec - Episode 15 · March 25, 2026 · 37 min
• Building AI for better healthcare - Episode 14 · March 16, 2026 · 31 min