01
new angle
OpenAI says its AI solved the Navier-Stokes Millennium Prize Problem
OpenAI announced its system produced an analytical proof and Lean-verified formalization that a smooth fluid at rest can develop a singularity in finite time, resolving one of the Clay Institute's Millennium Prize problems. Per OpenAI's own writeup, roughly 10,000 concurrent agents worked the problem starting September 1st, reaching the result about 88 hours later on September 5th, with Lean formalization taking a further 17 hours via GPT-6 Astra; Axios reports the compute cost ran into the millions of dollars. OpenAI says it won't claim the $1M prize. The announcement is shadowed by controversy: per Nature and Axios, OpenAI started the push after hearing rumors that mathematicians Levent Alpöge (Harvard) and Tristan Buckmaster (NYU) had solved a version of the problem using Anthropic's models; on X, Sam Altman and OpenAI's Sebastien Bubeck both posted defending how the release was handled after questions about Alpöge's authorship credit.
Signal: a genuine first — computer-generated proof of a 200-year-old open problem — immediately tangled up in a credit dispute over unpublished outside work.
Source: openai.com/index/navier-stokes-solution
02
Anthropic researcher resigns, says labs are "gambling with our lives"
Jacob Coxon posted on X that he resigned from Anthropic, writing "I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives." The Wall Street Journal confirmed the resignation, reporting Coxon is leaving the industry entirely over fears the labs are building self-improving systems they won't be able to control. It's trending on X as one of today's top news items.
Signal: an insider with three years of pretraining work at both OpenAI and Anthropic just said neither company is acting responsibly.
Source: wsj.com/tech/ai/anthropic-researcher-quits-over-out-of-cont…
03
Meta launches Muse, a personal AI agent app
Meta and its Muse account posted the launch on X; AP and 9to5Mac confirm it's a dedicated app (iOS live now, more platforms coming) plus WhatsApp integration, for users 18+, US-only at launch. It runs on Muse Spark 1.3, the model Meta shipped six days earlier, and Meta is pitching tasks like booking travel, drafting emails, and turning a saved recipe into a grocery list. Free with weekly limits; paid tier unlocks more.
Signal: Meta's consumer answer to agentic AI ships as a standalone app, not just a chatbot feature.
Source: 9to5mac.com/2026/09/08/meta-ai-launches-muse-personal-agent…
