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 distillation, Suno rebuilding on licensed music, and Google's largest European investment.
- Axios on the Navier–Stokes announcement and the credit dispute
- Grace Huckins at MIT Technology Review on what it means for mathematics
- Trail of Bits proves Fermat's Last Theorem in twenty lines via a Lean bug
- Axios on Jacob Coxon's resignation and the Anthropic replies
- Dean Ball and Jakub Pachocki on loss of control
- FT: Anthropic declined to submit Claude Mythos 5.1 to the UK AI Security Institute
- NSA, CISA and FBI joint advisory on industrial-scale distillation
- TechCrunch on Suno v6 and the Warner and BMG deals
- Summary judgment briefing in New York Times v. OpenAI
- Google's 13 billion euro data centre investment in Finland