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 this
I 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 there
My 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 fuming publicly online?
GPT-6 - Not quite AGI, yet?
After a week with Astra GPT-6, and Jensen Huang announcing AGI is here, I think we can do a quick recap
I and all the co-hosts have been Astra-maxxing for a whole week now and the results are in. This model is incredible at coding, it goes very very deep, however, definitely not AGI quite yet. It has a very jagged frontier, it does some things incredibly well (most demos online are building whole games and apps in 3D and those are mind-blowing) but I started seeing many folks go back to GPT 5.6 Sol etc.
I tink some of it also has to do with price, Astra runs faster and is significantly more expensive so token limits for folks are draining fast, but also with controllability, folks are likely still using their old and unoptimized prompts. Speaking of prompts, here’s a great writeup from OpenAI how to rework your prompts (which you can send to Astra and have it review your prompts!) for better results
The AI doomerism has quite a week (Coxon post, Thread, Hubinger, Marks, Christiano, An Alien Mind)
I started ThursdAI with the notion to counter anti-ai and doomerism, and bring positivity to the AI world, so we had to cover this. An Anthropic employee who previously worked at OpenAI, posted on X about leaving Anthropic, saying that both labs are racing towards uncontrollable self-improving superintelligence and that it could be a disaster of the “end all of humanity” kind.
His post sits at 130M impressions (after being basically a nobody on X before) and he’s been interviewed by Fox, AP, Time magazine, WSJ, NBC and a host of senators, Bernie (chief doomer) included, reposted his post on the same day!
The funniest thing is that this post got about 26x more attention than Ilya Sutskever’s post about leaving OpenAI. Just nuts
Within four days, seven current and former employees from Anthropic, OpenAI and DeepMind said in public that they believe that AI could kill us all. Also notable that Paul Christiano, who is one of the most interesting AI doomers out there, has joined the OpenAI foundation, and Daniel Kokotajlo, the famed OpenAI whistle-blower, joined Joe Rogans podcast to talk about AI doom.
Each one of these incidents in vacuum is normal, but having all these happen in a a span of a few days just feels, inorganic. Some folks are even saying that this is a well coordinated doomerism campaign!
I want to be fair to Coxon, folks who worked with him at OpenAI say he’s the real deal, and cares deeply about AI safety and humanity, however, he only worked at Anthropic for 6 weeks before publicly leaving, and now every interview he does sayd “Ex Anthropic employee”.
Whether it’s a coordinated effort or not, it’s still a very important discussion, after the pacingthefrontier letter and the HuggingFace hack incident, and it seems to have made waves. Sam Altman just told staff that he’s not opposed to pausing and have petitioned the US government to regulate AI as well
Look, I don’t disagree that we’re dealing with a very powerful technology, however I don’t believe that scaring the bajeesus out of everyone is the right way to handle this. Politicians use fear to get votes and get elected, they don’t really care about tech progress, and framing this in a way that “we pause or we’re dead” ignores all the good that AI is about to do. Cure cancer, find solutions to climate change, helping solving povery. All these seem like out t…
This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit
sub.thursdai.news/subscribe
