OpenAI solves Navier-Stokes, Meta’s Muse a free AI agent that’s really good, DeepSeek V4.1 shrinks KV cache, and one doomer post causes OpenAI to consider pausing training + more AI news

Hey yall, welcome back to ThursdAI, this is Alex, let me catch you up! Today on the show, we covered 1 week with Astra (hint, it’s not quite AGI yet despite what we were told), DeepSeek V4.1 catches up to the frontier at a fraction of the cost, and Meta launches a free AI agent with it’s own computer, that will take over the OpenClaw/Hermeses of the world for most people. Also huge this week, OpenAI claimed that a swarm of 10K agents of their unreleased model solved the Navier-Stokes, one of the millennium problems! I was stoked to have Chris Alexiuk from Nvidia on the show to cover the innovations DeepSeek put into this latest model! Oh, and the guy who quit Anthropic this week, and wrote an essay about “AI is going to kill all of us” somehow got 130M views on X, a mirriad of TV interviews and rekindled the doomerism movement, we talk about that too!Also, I already told about FullyConnected, CoreWeave’s premier conference that’s coming up, but they told me about a new announcement today, and you’re not going to believe who it’s about (not AI related). As a reminder, ThursdAI subscribers get a free ticket!Ok, let’s dive in! ThursdAI - Highest signal weekly AI news show is a reader-supported publication. To receive new posts and support my work, consider becoming a free or paid subscriber.OpenAI claims a Navier-Stokes solution from a 10,000 agent swarm from an unreleased model - with some drama (X, Blog, Paper)If you’ve been reading ThursdAI for a while, you may remember that a model couldn’t tell which is higher, 9.9 or 9.11 and naysayers said that “AI can’t math” Well, this week OpenAI claimed that a swarm of 10K agents, of an unreleased model, found a solution to the Navier-Stokes problem, in about 88 hours! They published a huge 160+ page paper and a Lean proof of the solution! I said on the show, this is like the moon landing equivalent of AI doing things humans didn’t do before! Now, keep in mind, this is only a claim from OpenAI, the Clay Mathematics Institute is still reviewing it (moved the status of this problem from “unsolved” to “under review” so this isn’t independently verified yet) but it’s still an insane deal. The agents sent 2.7 million messages and burned about 130B tokens, of a model that has no public price yet, so it’s hard to estimate the cost of this run, all for a 1M prize that OpenAI said they will not claim. The coolest thing I think we got from this paper, in addition to solving on of the most important and hardest problems in mathematics, is this chart above, where OpenAI shows their unreleased model and how much better it is on Math problems compared to... GPT-6! The “AGI” model we got just a week ago. So so much to look forward to.The drama behind thisI don’t want to get into the drama behind this too much, but if you’ve seen this online, there release wasn’t without it’s hiccups. Apparently, OpenAI caught wind that an a duo of researchers Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic, in personal capacity), have independently solved the related Euler problem and were about to go public. Apparently, the duo used a mix of GPT and Claude to work on this problem. OpenAI caught wind of this and started working on their own solution on September 1st. A day before OpenAI dropped their release, Buckmaster posted that OpenAI is about to drop it, and in communications with him, they offered him to co-author the paper, only if the Anthropic guy is removed. To which he said no. He then had some claims that maybe OpenAI trained on some of the papers and chats they put into Codex, which OpenAI refuted, while noting “we cannot rule out the possibility that de-identified usage data helped improve the model”. OpenAI also say that the OptOut toggle works, and neither mathematician provided a screenshot that they opted out of the training, so it’s hard to say what really went in thereMy take, I don’t really care. Two years ago, we told you that reasoning is coming and AI is going to be doing superhuman things, and we finally see the first signs of it, this is a problem that no humans was able to solve for over 60 years! Navie-Stokes probably doesn’t change your friday, but there are so many other that they can solve with this approach! Cancer research, room temperature superconductors (remember LK-99? that’s also a search problem) and much more. Kudos to OpenAI for this, and I’m looking forward to see the new heights of mathematics. And for the mathematicians who “disagree” with OpenAI solving or not solving this problem, why don’t you post your own Lean proofs instead of fumi