Episodebeskrivelse
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 read some Terence Tao.
Chapters
•…
Nettsted: kairos.fm
