Hard Fork

Podbit · Hard Fork

Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT

Explore episode Jun 5, 2026
Science
The Leiden Declaration: Mathematicians Push Back on AI

Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT · Jun 5, 2026 Science

Over 800 mathematicians signed the Leiden Declaration warning that AI is producing plausible but unreliable proofs, eroding human expertise, and steering mathematical priorities toward what AI is good at rather than what matters. Kevin Hartnett reads it as a field asserting: this is our discipline, and you don't get to tell us how it runs.

Where this was said

Three Camps: How Mathematicians Feel About AI

At 42:37 · chapter starts 40:20

Hartnett offers a memorable vignette from the Institute for Advanced Study in Princeton — described as 'the citadel of modern math.' In one afternoon, he encountered two top-tier mathematicians with completely opposite views. The first had just closed Gemini in frustration after it told him something demonstrably false. The second, superficially similar on paper, predicted that AI would put mathematicians out of business within 2 years because it would soon be strictly better than humans at all of it. Terence Tao — the greatest living mathematician and most important figure in the debate — sits squarely in the middle. Tao's view, which Kevin Roose describes from a recent OpenAI video, is that AI is like an 'Iron Man suit' or a 'jetpack for thoughts': it allows mathematicians to test many more ideas quickly, radically lowering cognitive friction for exploratory work. Hartnett suspects the dismissive camp was in the majority a year ago but is shrinking rapidly.

Similar podbits

Science
The Placebo Effect Is Not Fake — It Just Belongs to the Story, Not the Drug

#403 ‒ Peptides: separating scientific promise from marketi… · Aug 10, 2026 Science

Peptides come loaded with a powerful narrative: regenerative, subcutaneous, targeted, cutting-edge. That narrative can genuinely move outcomes, especially for pain, energy, and recovery. The RCT's job is to quantify how much additional benefit comes from the molecule itself — above and beyond the compelling story surrounding it.