Welcome to the AI crisis in math
About this episode
From the show’s notesMy 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.
Read the show’s notes in full
Read the full interview transcript on The Verge.
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
