陶哲轩澄清N-S传闻：假想场景被误读，Clay仍列难题未解
机器之心 · wechat · 2026-09-06
针对「Claude 已解决纳维-斯托克斯方程」传闻，机器之心做了事实核查与脉络梳理：传闻源头是陶哲轩 9 月 3 日在 Mastodon 以 N-S 方程为例发布的一组假想性帖子——设想自主 AI 系统持续搜索候选构造、验证并产出庞大 Lean 证明文件，讨论其中间数学知识如何保存。网友猜测他掌握内幕，Curran 随后给出明确「预测」，帖子获超 250 万浏览。陶哲轩随后澄清：他并不了解 N-S 有任何重大新进展，此前讨论纯属假设，但以 AI 发展速度这种场景已具现实可能性。\n\n文章梳理了近期 AI 数学的实质进展：Claude 11 天完成费马大定理约 1300 万行 Lean 形式化(约 3 万个机器验证定理)；8 月 Anthropic 未公开模型把黎曼 ζ 函数零点下界从 41.6% 提至 67.2%；OpenAI 推翻 Erdős 单位距离猜想并集中公布十项数学/理论计算机结果。AI 对数学的影响正从「能解多少题」转向验证基础设施(Lean)地位的上升与数学家分工的变化——人类转向选题、提出猜想与提炼理论，即陶哲轩所说的「大数学」模式。至于传闻本身，仍停留在社交媒体阶段。
所属事件:陶哲轩澄清纳维-斯托克斯传闻：Claude解题系误读(2 条相关)→
「模型」频道最新
- 用户质疑 Astra 额度计费异常，实际消耗或达 Sol 的 4-5 倍 — Medical-Yam3367 · 2026-09-06
- Astra 在 Browser Use 基准 v2 拿 77.3%,远超 Opus 5 的 50.5% — gabrielchua · 2026-09-06
- 带棋盘可视化工具的 Astra Ultra 仍败给 1800 分国际象棋机器人 — MikePFrank · 2026-09-06
- 实测 Astra 质疑 PTX 文档限制,却被证明判断错误 — A_K_Nain · 2026-09-06
- 知情人称下周将发布的演示远超 OpenAI 官方博客与宣传片 — ChrisGPT · 2026-09-06
- GPT-6 Astra 系统卡:首个达网络安全 Critical 级的模型,监测与对齐细节公开 — RyanGreenblatt · 2026-09-06