
AI Odyssey
Did AI Agents Just Break Math?
Did AI Agents Just Break Math? Ten thousand AI agents. Eighty-eight hours. OpenAI reports a proof for a forced version of the Navier–Stokes equations, followed by verification in Lean. This episode follows the shift...

























