OPENAI'S AGENTS CLAIM A NAVIER-STOKES BREAKTHROUGH

Summary from the TLDR Dev newsletter

OpenAI published a claimed solution to the Navier-Stokes existence and smoothness problem, produced by a system of roughly 10,000 agents and accompanied by a Lean-formalized proof. The company says the effort used about 130 billion output tokens, with GPT-6 Astra handling the final formalization and verification.