Ten Thousand Agents, and a Twenty-Line Proof

Braid · Sep 9, 2026 · 22m · transcript

OpenAI says an unreleased internal model proved that three-dimensional Navier–Stokes can blow up in finite time — ten thousand agents, eighty-eight hours, millions of dollars of compute — and within a day the story had turned into an argument about authorship, unpublished work, and what a company can and can't trace about what its models learned. Plus a twenty-line "proof" of Fermat's Last Theorem that only works because Lean has a soundness bug, an Anthropic resignation that three colleagues backed in public, a frontier model withheld from the UK's testing institute, a federal advisory about…