Navier-Stokes 证明背后：1万 agent 跑88小时、1300亿 token

Healthy_Outcome7897 · reddit · 2026-09-12

作者认为近期 AI 辅助 Navier-Stokes 证明的宣传夸大了前沿模型的真实能力：这不是单个模型的灵光一现，而是 1 万个并发 agent 跑了 88 小时、交换 270 万条消息、消耗约 1300 亿 token 的工业级树搜索。框架通过大规模并行循环暴力枚举可能、剪枝死路、交叉嫁接成功分支，配合 Lean 自动验证才完成证明。作者结论：这是算力基础设施与集群编排的胜利，而非基座模型推理能力质变；应区分 agentic 规模与模型智能本身，但也不否认 AI 会持续进步。