Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
Ten thousand AI agents. Eighty-eight hours. One of mathematics’ last unclimbed walls.
This episode unpacks OpenAI’s Navier–Stokes claim, the Lean proof, the million-dollar compute bill, and the human researchers who say they were already at the door.
