Pulling the Ladder Up on Math

Podcast: muckrAIkers · Jacob Haimes and Igor Krawczuk

Opublikowano: 2026-10-26

Math people are upset, and (at least some of) the internet’s response has mostly been “so what?” Igor wants to explain why it matters. We start with OpenAI’s Navier-Stokes announcement and the drama that followed, then get into what a proof actually is, why the dead ends are the point, and what it means when a lab quietly sits on a pile of solved problems. Along the way: math trauma, mathematicians as philosophers’ translators, and whether anyone gets paid to learn something an AI already did. Also, Igor has a theory about the timing, and he’d like you to...