10,000 AI agents reportedly tackle Navier-Stokes problem in 88 hours
A reported experiment had over 10,000 agents exchange about 2.7 million messages and generate roughly 130 billion tokens, producing a candidate proof in 88 hours that GPT-6 Astra then spent 17 hours checking in Lean.
10,000 AI agents reportedly attacked a 90-year-old Navier-Stokes problem in just 88 hours The scale of the experiment is the real story Thousands of agents worked in parallel inside one research environment, exchanging around 2.7 million messages and generating roughly 130 billion tokens The system reportedly produced a candidate proof in 88 hours GPT-6 Astra then spent another 17 hours checking parts of the argument programmatically with Lean The claimed result concerns whether certain fluid conditions can produce singular behavior, where velocity grows without bound That is the kind of problem mathematicians have struggled with for decades Whether the proof ultimately survives full expert review is the part that matters most But the workflow itself is already significant AI is moving from helping one researcher write or calculate faster to running entire parallel research organizations that can explore thousands of ideas at once
This post quotes another post: x.com/egorjioo/status/2099496479895310403