Welcome to the AI crisis in math

Description

My guest today is Robert Hart, The Verge’s London-based AI reporter. Robert recently wrote a fantastic story for us about the debate raging inside the world of mathematics — and the existential crisis over what it means that new frontier AI models have become very good at math in a shockingly short period of time. I wanted to dive into all of this with Robert, who actually spoke to some of the most accomplished mathematicians working today to figure out what’s hype and what’s real — and to get a sense of just how exciting, and how scary, all of this is. Links: The AI takeover of mathematics has begun | The Verge Ten advances in mathematics and theoretical computer science | OpenAI An unreleased Anthropic model made progress on the Riemann hypothesis| TechCrunch OpenAI’s amazing — but vastly oversold — new model Astra | Gary Marcus OpenAI’s math breakthrough played to AI’s strengths | Understanding AI Why the legendary Erdős problems are falling to AI | Quanta Subscribe to The Verge to access the ad-free version of Decoder! Credits: Decoder is a production of The Verge and part of the Vox Media Podcast Network. Decoder is produced by Kate Cox and Nick Statt. This episode was edited by Ursa Wright. Our supervising producer is Greg Ott, and our editorial director is Kevin McShane. The Decoder music is by Breakmaster Cylinder. Learn more about your ad choices. Visit podcastchoices.com/adchoices