一万个 Astra 智能体四天跑出纳维-斯托克斯证明
帖子称 OpenAI 用一万个智能体并行 88 小时产出证明，再由 Astra 花 17 小时转写成 Lean 可验证代码。
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
这条是引用着另一条写的：x.com/slash1sol/status/2098013767627837827