Thom Wolf 谈 OpenAI 纳维-斯托克斯结果：反例不是完整证明，数学还没被解决
burny_tech · x · 2026-09-09
OpenAI 官宣称，一组 agent 使用远强于 GPT-6 Astra 的下一代模型，产出了 Navier-Stokes 千年 Prize 问题的解——该问题关乎光滑三维流体运动的描述是否会崩塌，悬置约 90 年。
Thom Wolf（ Transformers 论文作者之一）对此发表长文评论：
- 承认这是极其惊人的成就，AI 在某些方面已远超人类思维，团队值得盛赞，并期待技术报告
- 但指出关键细节：胜出的 option C 是通过证明猜想为假来解决 NS 问题的，即得到的是一个反例，而非完整证明
- 他观察到近期 AI 数学前沿成果的一个模式：相当多成果依赖反例或「大海捞针」式发现
- 反例虽然极难且值得称赞，但只是数学家工作的一部分，数学远未被「解决」
所属事件:OpenAI 称万级 AI 代理解出纳维-斯托克斯难题，署名争议发酵(421 条相关)→
「漫话AGI」频道最新
- 欧洲 AI 大会开两天，部长 CEO 齐聚却无人谈 AI 的文明级意义 — tobias_rees · 2026-09-09
- AI 安全圈争论:训练方式本身是否意味着模型会危害人类 — davidmanheim · 2026-09-09
- 学者警告:失控的 agent 集群可能通过基建控制造成现实伤害 — KarlMuth · 2026-09-09
- 研究者：人类式治理框架管不住 AI 智能体集群风险 — KarlMuth · 2026-09-09
- 反末日论者：AI doomer 借数据中心反对潮推销控制议程 — mark_k · 2026-09-09
- Anthropic 研究员离职,称 Anthropic 与 OpenAI 在拿人命赌博 — thisisinsider · 2026-09-09