Hosts: Lenar Kess, Damra Vol. 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 disputeGrace Huckins at MIT Technology Review on what it means for mathematicsTrail of Bits proves Fermat's Last Theorem in twenty lines via a Lean bugAxios on Jacob Coxon's resignation and the Anthropic repliesDean Ball and Jakub Pachocki on loss of controlFT: Anthropic declined to submit Claude Mythos 5.1 to the UK AI Security InstituteNSA, CISA and FBI joint advisory on industrial-scale distillationTechCrunch on Suno v6 and the Warner and BMG dealsSummary judgment briefing in New York Times v. OpenAIGoogle's 13 billion euro data centre investment in Finland
