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 会持续进步。
「漫话AGI」频道最新
- 学者讽刺仿写公开信:把数学换成癌症你会站谁 — Chris_Brannigan · 2026-09-12
- Schulman：AI 三四年内或全面超越电脑端人类专家 — Scobleizer · 2026-09-12
- Brendan McCord 奥斯汀办私享会:从联邦党人文集 51 篇聊到 AI 控制 — sebkrier · 2026-09-12
- Eric Drexler 发文防 AI 合谋,David Wood 呼吁更多关注 — Chris_Armstrong · 2026-09-12
- X 圈热议：AI 实验室正在 Goodhart 化数学进步指标 — BlancheMinerva · 2026-09-12
- Open Philanthropy 被指砸超10亿美元资助 AI 末日论谋监管套利 — kevinnbass · 2026-09-12