Welcome to the AI crisis in math

2026-08-20 · 41 min · 8 entities

episode page audio

Asserted relationships

→ discusses Technology company

0.40

evidence rules-v4
Feed category: Technology
→ discusses Business concept

0.40

evidence rules-v4
Feed category: Business
→ hosted by Vox Media Podcast Network company

0.40

evidence rules-v4
Feed author/publisher: Vox Media Podcast Network
→ hosted by The Verge company

0.40

evidence rules-v4
Feed author/publisher: The Verge

Entities found in this episode

companys 6

mentioned Vox Media Podcast Network company

0.70

evidence rules-v4
Feed author/publisher: Vox Media Podcast Network
mentioned The Verge company

0.70

evidence rules-v4
Feed author/publisher: The Verge
mentioned Technology company

0.50

evidence rules-v4
Feed category: Technology
discusses Technology company

0.40

evidence rules-v4
Feed category: Technology
hosted by Vox Media Podcast Network company

0.40

evidence rules-v4
Feed author/publisher: Vox Media Podcast Network
hosted by The Verge company

0.40

evidence rules-v4
Feed author/publisher: The Verge

concepts 2

mentioned Business concept

0.50

evidence rules-v4
Feed category: Business
discusses Business concept

0.40

evidence rules-v4
Feed category: Business

Episode description as stored

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. 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