10,000 Astra agents produce a Navier-Stokes proof in four days
The post says OpenAI ran 10,000 agents in parallel for 88 hours to produce a proof, then Astra spent 17 hours writing it into verifiable Lean code.
10,000 AGENTS SPENT 100 YEARS OF THINKING IN ONE WEEKEND for ninety-two years navier-stokes sat open. nobody could say whether a smooth fluid could tear itself into a singularity openai pointed 10,000 agents at it they ran in parallel. 2.7 million messages between them. 130 billion output tokens 410,000 tokens a second, held for four days straight 88 hours later they had a proof then astra spent another 17 hours writing it into lean, line by line, until a machine could check it here is the number nobody has said out loud 10,000 agents x 88 hours = 880,000 agent-hours 8,760 hours in a year. that is 100.5 agent-years the ninety years did not get skipped. they got spent all at once at astra's list rate the tokens alone come to $6.5m. the prize for solving it is $1,000,000 openai is not claiming it and their own writeup carries the quiet part. agent groups were sitting on every open millennium problem, not just this one it never said the others stopped one model was never going to replace one mathematician ten thousand of them just built a research lab that runs a century of thought over a long weekend
This post quotes another post: x.com/slash1sol/status/2098013767627837827