Hard Fork

Podbit · Hard Fork

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

Explore episode Jun 5, 2026
Science
Terence Tao's Three-Camp Theory of AI and Mathematics

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

At the Institute for Advanced Study, Kevin Hartnett met two top mathematicians in one afternoon with polar opposite views — one dismissed AI entirely, the other said it would make mathematicians obsolete in 2 years. Terence Tao, the most important figure in the field, sits in the middle: AI as an Iron Man suit for mathematical thought.

Where this was said

The Unit Distance Conjecture: AI's First Truly World-Class Math Result

At 40:18 · chapter starts 36:00

The discussion of Erdős benchmarks builds to its climax: OpenAI's resolution of the unit distance conjecture. Hartnett explains what made this result different from the string of solved Erdős problems that preceded it. Other solved problems had been largely ignored by serious mathematicians — 'sophisticated riddles,' in Hartnett's framing — but the unit distance conjecture was one that many mathematicians had actively tried to solve, failed, and moved on from. The methods OpenAI's model used were sophisticated, non-obvious, and genuinely surprising. Most importantly, the mathematical community agreed nearly unanimously that the result was publishable in the Annals of Mathematics, the top journal in the field. Hartnett describes the pattern that had developed before this proof: 'AI did this, but it can't do that. Oh, it did that? But still can't do this.' The unit distance conjecture proof ended that goalpost-shifting. AI, Hartnett concludes, 'can do absolutely top-tier research.'

Science
The Unit Distance Conjecture: AI's First Truly Landmark Math Result

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

OpenAI's proof of the unit distance conjecture wasn't just another solved Erdős problem. Mathematicians had actually tried to crack it; the methods were sophisticated and surprising; and the result was universally agreed to be Annals of Mathematics quality — the top journal in the field. This ended the goalposts-moving: AI can do world-class research.

Similar podbits

Science
Microplastics: Were We Measuring Them Wrong?

“This Is The Culmination Of Everything I Know” - Dr Andrew … · Sep 14, 2026 Science

The widely shared claim that we have a credit card's worth of plastic in our brains may be a massive overestimate. Researchers used nitrile gloves to measure microplastics — and nitrile gloves shed microplastic particles onto the measuring device. A second paper found the original tool used was unreliable, and that we may have far less plastic than reported.

Science
The Door-Keeping Experiment: Our Irrational Addiction to Optionality

Finding Your Life Path, Solved · Sep 2, 2026 Science

In Dan Ariely's door experiment, participants sacrificed the highest-reward door — repeatedly — just to avoid seeing other doors disappear. Even when researchers trained them to use the best door, they kept wasting clicks to maintain options. This is the bias that runs our lives: we'll take a worse outcome to preserve the feeling of optionality.

Science
Dan Gilbert's Psychological Immune System: Why Your Brain Justifies Every Decision

Finding Your Life Path, Solved · Sep 2, 2026 Science

Dan Gilbert discovered that the brain has a 'psychological immune system' — it misremembers, reframes, and rationalizes to keep you satisfied with whatever you chose. The fear before commitment is all about potential regret. But after committing, your brain quietly starts justifying the choice — and the more irreversible the decision, the stronger the effect.

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.