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
Podden och tillhörande omslagsbild på den här sidan tillhör
The Verge. Innehållet i podden är skapat av The Verge och inte av,
eller tillsammans med, Poddtoppen.
