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.

Similar podbits

Science
AI Is Learning Faster Than Evolution: The Fruit Fly Comparison

Open Source Wins, AGI Is Here, and Scorsese's AI Toolkit wi… · Jul 10, 2026 Science

Human learning moves at generational speed — like elephants, one cycle per 15–20 years. Geneticists study fruit flies because they produce two generations a day, compressing evolution into observable timeframes. AI is doing the equivalent: compressing thousands of generations of learning into near real-time iteration.

Science
Black Holes: What Actually Happens to Your Body

Neil deGrasse Tyson On Aliens, Simulation Theory, and What … · Jul 9, 2026 Science

Falling into a black hole, you'd watch the entire future history of the universe unfold in fast-forward due to time dilation. Then tidal forces would stretch and snap you into two pieces, then four, then eight, all the way to the singularity — while simultaneously extruding you like toothpaste through the fabric of spacetime.