MIT副院长评OpenAI千禧证明 真理来了却像外星语

时间 2026年10月12日 地点 美国马萨诸塞州剑桥市（麻省理工学院）+ 加州（OpenAI 总部） 人物 Justin Solomon，麻省理工学院工程教育副院长、应用数学教授；陶哲轩（Terence Tao），菲尔兹奖得主，加州理工学院教授；Travis Kalanick，Uber 联合创始人；Mark Chen，OpenAI 首席研究官；Sebastian Bubeck，OpenAI 数学家；Martin Bridson，克雷数学研究所所长 事件详情 2026 年 9 月 8 日，OpenAI 宣布其内部未公开模型调动约 10,000 个 AI 智能体，仅耗时 88 小时攻克"纳维-斯托克斯存在性与光滑性"千禧年大奖难题：证明三维不可压缩流体在特定初始条件下可在有限时间内产生"奇点"，对应官方问题陈述的 C 和 D 情形。165 页证明随后由 GPT-6 Astra 用 Lean 形式化验证 17 小时完成，消耗 1300 亿输出 Token，算力成本数百万美元。 然而，在彭博知名播客《Odd Lots》最新一期中，MIT 工程教育副院长 Justin Solomon 直面"AI 颠覆数学界"的难题。他在尝试阅读这份证明时翻过前两页就大脑宕机："这份证明读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值。"主持人追问"优雅吗"，Solomon 苦笑"毫无优雅可言"；再问"正确吗"，他沉默后答"大概是对的"。 值得注意的是，OpenAI 并非从零起步。西班牙数学家此前用纸笔已构筑了"疯狂勺子"99% 的主体构造，AI 仅以恐怖算力和非人逻辑推演走完最后 1%。这一分工让 MIT 教授感慨"真理降临了，但它用的是外星语言"。 菲尔兹奖得主陶哲轩在加州理工"Math 2.0"演讲中抛出更尖锐的思想实验：如果 AI 给出能通过 FDA 三期临床的癌症疗法，但无任何人类专家能看懂机制，"你敢不敢把它打进自己的静脉？"OpenAI 首席研究官 Mark Chen 称项目整体算力投入达数百万美元，公司明确不申领克雷数学研究所 100 万美元奖金，仅将此成果定位为"AI 进步的快照"。 背景 纳维-斯托克斯方程被称作流体力学的"上帝公式"，支配从咖啡搅拌到飞机机翼阻力的所有流体现象。克雷数学研究所 2000 年将其列为七大千禧年大奖难题之一，悬赏 100 万美元。七大难题此前仅庞加莱猜想被人类数学家证明。同期，纽约大学 Tristan Buckmaster 与 Anthropic 任职的 Levent Alpoge 也公布了相近成果，优先权争议随之而来。截至目前克雷数学研究所官网仍将该问题列为未解决状态。 影响 当 AI 的数学推导能力逼近甚至超越人类认知上限，"人类验证 AI"的传统科研范式正遭遇物理撞墙。Solomon 等顶尖学者坦言"看不懂但似乎正确"，意味着 AI 时代"真理"与"理解"首次分道扬镳：算力拥有者或将主导科学话语权，而数学家与科研工作者的核心价值可能被重定义为"为 AI 成果做可读性翻译"。学术审查机制、对齐与可解释性研究也将被迫升级。 总结 OpenAI 88 小时用 1 万个 AI 智能体攻破悬置 90 年的千禧年数学难题，Lean 形式化验证保证了逻辑严密，但 MIT 副院长 Justin Solomon 在彭博 Odd Lots 播客坦言"翻两页就宕机"、直言"毫无优雅可言"。这场突破不仅是算力对人类智力的胜利，更把科学界推入"真理在外星语言里"的认知恐慌，迫使数学界、AI 治理与社会共同回答：当证明已超出人类理解，科学的"可读性"该如何守护？ 参考来源 1. 36氪 - MIT教授绝望：OpenAI攻克的千禧年难题 人类已经看不懂了：https://www.36kr.com/p/4021210565857412 2. Bloomberg Odd Lots 播客 - How AI Is Upending the World of Mathematics：https://www.bloomberg.com/news/articles/2026-10-09/what-open-ai-solving-navier-stokes-means-for-professional-math 3. 中国科学报 - OpenAI称破解数学"千禧年大奖难题"：https://news.sciencenet.cn/sbhtmlnews/2026/9/391243.shtm 4. 新浪新闻 - OpenAI 宣布攻克纳维-斯托克斯难题：https://www.sina.cn/news/detail/5341165886638135.html 5. 亚洲经济报 - 88小时破解千禧年数学难题：https://www.asiaeconomynews.com/page199.html?article_id=2081 6. AI.jp.net - OpenAI Unveils AI-Driven Proof of Navier-Stokes Millennium Problem：https://www.ai.jp.net/article/openai-unveils-ai-driven-proof-of-navier-stokes-millennium-problem-using-swarm-o-25c254 7. TokenPost - 千禧年難題現解!OpenAI 公開納維-史托克斯方程：https://tw.tokenpost.com/news/blockchain/42226