Welcome to the AI crisis in math

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

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(962)

It's about ethics in journalism, with Ben Smith

Today I’m talking to Ben Smith, the editor-in-chief of Semafor. Ben ran BuzzFeed News at the height of the Facebook traffic boom, and even wrote a book about it, called Traffic, which he discussed wit...

17 Aug 1h 11min

Does Google even want to win in AI?

My guest today is The Verge’s Hayden Field, and we’re discussing a question that’s been rocketing around the tech industry for the past week: Is Google losing the AI race? That's because last week, t...

13 Aug 39min

Bose CEO Lila Snyder on the fight for high-quality audio

My guest today is Lila Snyder, the CEO of Bose. Lila was last on the show about four years ago, and since then she’s dramatically rearchitected the company — she sold off Bose Professional, acquired t...

10 Aug 1h 6min

The left and right agree on one thing: no data centers

Our guest today is Gaby Del Valle, a policy reporter here at The Verge, and we’re discussing the growing backlash against AI data centers. Gaby recently reported a fantastic piece about Hernando Count...

6 Aug 37min

Bluesky’s new CEO wants a big tent, not a bubble

Today, I’m talking with Toni Schneider, the new head of social platform Bluesky who formally took over after a short stint as interim CEO. This is one of my favorite kinds of interviews, because a cou...

3 Aug 1h 15min

The end of the human internet

Hey everyone, this is Nick Statt, senior producer on Decoder. We’re taking a brief publishing break while Nilay is out on vacation. We’ll resume regular programming next week, and we’ve got some great...

30 Jul 43min

Tariffs didn’t bring manufacturing jobs back to the US

Evan Smith, cofounder and CEO of Altana, was last on the show in early 2025 to talk about how Trump’s first few waves of tariffs were starting to affect global trade. It was a very alarming and also v...

27 Jul 1h 11min