+ OpenAI: Navier–Stokes blows up · 10,000 agents · 88 h
- Buckmaster: "why would you ruin your career?"
- Anthropic researcher quits: "gambling with our lives"
+ Meta ships Muse, a personal agent with its own VMYesterday, OpenAI announced its AI solved a Millennium Prize problem, ninety years open, one million dollars, in eighty-eight hours, and the two mathematicians who spent a year on the same problem learned about it on a Sunday phone call that, per one of them, included: why would you ruin your career? It was a long Monday. At dawn an NYU professor posted a four-page statement; sixteen hundred points on Hacker News. In the afternoon OpenAI posted the proof. In the evening Terence Tao said open problems are now mined like a non-renewable resource, and overnight an Anthropic researcher resigned on X, forty-four million views, because both labs are, quote, gambling with our lives. Also, Meta shipped a personal agent that lives in WhatsApp and has its own computer. The math first. Navier–Stokes describes how fluids move, and since 1934 nobody knew whether a smooth 3D fluid can hit a singularity: velocity going infinite in finite time. OpenAI's system says yes. Start at rest, apply a smooth force, keep the energy finite, and a vortex spirals inward like spaghetti until the speed blows up. Statements C and D of the Clay formulation, in Lean, seventeen hours of Astra to verify. So fluids can explode, which anyone who spilled coffee on a MacBook knew, but now it's in Lean.
How: OpenAI has a new internal model it calls significantly more capable than Astra, and on September 1st they heard a rumor that two Millennium problems had been solved, so they pointed it at every open one. The Navier–Stokes group: about ten thousand concurrent agents, a hundred and thirty billion output tokens; three hundred billion across all problems. At Astra list prices, fifteen million dollars of tokens for a one-million-dollar prize OpenAI says it won't claim, and at that margin, who would. The other side. Tristan Buckmaster at NYU and Levent Alpöge, who works at Anthropic, spent a year pushing an approach by Córdoba and Martínez-Zoroa with Claude and Codex, paying OpenAI from Buckmaster's own research funds. On August 15th they got blow-up for the Euler equations; Buckmaster calls the first LLM proof the most horrendous he has ever read, and it verified in Lean on August 22nd. Then a rumor spread, and September 3rd he emailed OpenAI: it's us, it's personal, we'll post soon. On Sunday at 12:45 OpenAI asked to meet at any point today, and Sébastien Bubeck joined. Buckmaster was told the model had proved forced Navier–Stokes with very little human input, which over the call became an entire team, easier problems first, a prompt written by Codex, and an insane amount of compute. He asked when the first prompt was sent. Eventually: in the past few days, after information about our work had reached OpenAI.
Two offers followed. One: you post Euler, we post Navier–Stokes the next day. Two: Buckmaster alone writes up the OpenAI proof, and, he says, Bubeck twice wanted Alpöge off the paper because he works at Anthropic. He declined and said he'd go public. The reply, per the statement: why would you ruin your career, then: if you don't want me to be nice, I don't have to be nice. Normally the line right before a horse's head turns up in a bed. OpenAI's version: nobody saw their work, no user data was accessed, and, footnote, they cannot rule out that de-identified data from the professors' use of their products helped improve the model. Alpöge's review: props to them for straight coming clean. Sam Altman says everyone acted with integrity and generosity and the other team threatened unfounded accusations of plagiarism, spelled with one i. So the official position: we did not copy your homework, we heard you were doing homework. Terence Tao called the professors' result remarkable and noted Buckmaster explained it to him over the phone, a refreshing change from AI-based communication modalities. Then, four posts: good open problems are now mined like a non-renewable resource, even a rumor of someone working on one triggers a massive AI effort to flatten it, so the incentive is to stop sharing research directions, reversing centuries of open science. Three groups posted fluid blow-up in one weekend; the next paper may be an NDA.
Which is the mood Jacob Coxon resigned into: three years of pretraining at OpenAI, then Anthropic; neither company is acting responsibly, he says, both are racing to self-improving superintelligence, and the endgame should not be launched from a private company's Slack. Forty-four million views, on the day one lab put ten thousand agents on a rumor, so the thread shipped with a live demo. Meanwhile, Meta shipped Muse: a personal agent on its own cloud VM with its own browser, and you talk to it in WhatsApp. US only, free for most things. Meta promises a version not even Meta can read, later this year, a very specific way of describing this year. Top Hacker News comment: I don't want to share my life with Meta like this. Second: it keeps trying to sell me a stroller.
Verdict: NEEDS REVIEW — The proof compiles. The story doesn't.
Sources
https://openai.com/index/navier-stokes-solution/
https://news.ycombinator.com/item?id=49613262
https://openai.com/index/gpt-6-astra/
https://cims.nyu.edu/~tristanb/statement.pdf
https://x.com/sama/status/2097385167002415140
https://x.com/SebastienBubeck/status/2097379411691516310
https://x.com/markchen90/status/2097400166554993041
https://x.com/alpoge/status/2097383870773748190
https://mathstodon.xyz/@tao/117233527638291447
https://anima-ai.org/2026/09/07/stable-singularity-of-the-euler-equations-on-r3-without-forcing/
https://mathstodon.xyz/@tao/117237320796901560
https://news.ycombinator.com/item?id=49616968
https://x.com/hilbertspaess/status/2097476196791709843
https://news.ycombinator.com/item?id=49619227
https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/
https://ai.meta.com/muse/
https://news.ycombinator.com/item?id=49615537
https://x.com/OpenAI/status/2097375276384567642
And that's the diff for today. I'm Niko from Axrisi. Merge responsibly.
YouTube · thedailydiff.dev · forward this to the intern who deployed on Friday.