{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/68470ba8d911dedd6501609c/6a20dd9301be5cffcd5fa141?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"How a reasoning model cracked an 80-year-old math problem - Episode 20","thumbnail_width":200,"thumbnail_height":200,"thumbnail_url":"https://open-images.acast.com/shows/68470ba8d911dedd6501609c/1780595955589-3adf73ab-9abe-4bbc-852a-2f41889945a2.jpeg?height=200","description":"<p>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.</p><p><br></p><p><strong>Chapters</strong></p><p><br></p><p>0:44 AI and the International Math Olympiad and International Olympiad of Informatics</p><p>6:35 An OpenAI model disproves the Erdős unit distance conjecture</p><p>8:33 Running the model and checking the proof</p><p>11:04 Why general models matter for discovery</p><p>15:55 Creativity, tools, and how the proof worked</p><p>18:25 Why AI should feel empowering for mathematicians</p><p>22:31 Advice for researchers using AI</p><p>27:24 What comes next for math and AI research</p><p>37:30 Cryptography, quantum computing, and the future</p><p><br></p><p><br></p>","author_name":"OpenAI"}