#OpenAI宣布攻克千禧年难题# 数学界迎来了一场地震。

9月8日，OpenAI 宣布其内部 AI 系统成功解决了「纳维-斯托克斯存在性与光滑性问题」——这是2000年克雷数学研究所列出的七大千禧年大奖难题之一，困扰数学界近90年。

几个核心信息：
· 约1万个 AI Agent 协作，88小时内生成证明，又用17小时完成 Lean 形式化验证
· 证明结论：初始光滑的静止流体，在光滑外力作用下，有限时间内可能产生「奇点」（流速无限增长），但总动能保持有界
· 165页论文已公开，署名只有「OpenAI」
· 算力成本达数百万美元，OpenAI 表示不申领100万美元奖金

但争议也随之而来。就在 OpenAI 官宣前一天，纽约大学数学家 Buckmaster 和 Anthropic 研究员 Alpöge 刚发布了相关流体方程的突破成果。Buckmaster 质疑 OpenAI 在获悉他们的进展后才集中资源攻关，并担忧其存储在 Codex 中的研究数据是否被间接使用。OpenAI 否认了这些指控，但承认「无法排除用户脱敏数据曾帮助改进模型」。

菲尔兹奖得主陶哲轩评价这类难题是「灯塔」，但也警告：如果 AI 能独立解决最困难的问题，可能会削弱人类对数学的理解。

清华姚班毕业生、OpenAI 研究员陈立杰感叹：「这是一个非常不可思议的时代。」

当 AI 开始写下人类数学家尚未写出的证明，数学的历史正在被改写。只是每一步推导，都得算数。

#AI攻克千禧年难题# #纳维斯托克斯方程# #微博AI创作季#