TLDRocket
9 September 2026
OpenAI’s claim that it cracked a Navier–Stokes “blow up” scenario for one of math’s Millennium Problem candidates—reported as a multi-agent effort using roughly 10,000 sub-agents, about 130B tokens, and “Astra-next” over ~88 hours—dominated the day. The interesting part wasn’t only the scale, but the argument around it: whether large inference-time compute and agentic coordination can produce genuinely usable mathematical insight, and what counts as verification when the public gets a story but not a fully checkable proof.
Read the full briefing →