OpenAI攻克NS方程
却陷学术伦理风暴

千禧年七大难题之一被AI证明，但论文背后隐藏着与数学家Bank-Master的激烈争执

2026.09.09 · 事件全记录

核心事件

OpenAI 于北京时间2026年9月9日凌晨官宣：其内部模型攻克了千禧年七大难题中的 NS方程（Navier-Stokes）问题。证明已通过自动化推理工具 Lean 的形式化验证，可信度据称达99.99%。

50h攻克欧拉方程正则性

88h首批智能体启动后攻克NS方程

300B烧掉Token数

之后审核验证≈17小时

OpenAI提出不申领克雷奖的声明，同时声称未曾访问任何特定用户数据，但不排除Bank-Master公开的推理数据对模型训练产生过影响。

关键数据

98.7×10⁶ 欧拉方程完成时间

8.8x10⁷ 欧拉方程完成时间

300B token / 算力总消耗

<10T 内部模型参数量

外行视角：如果OpenAI能在大约88小时内、凭借内部数据特化训练模型攻克NS方程，其能力已无法用“AGI/ASI”界定，有人说这是“全智全能的神”。

争议焦点：与Bank-Master的信任破裂

导火索：数学家Bank-Master此前声称自己接近解决NS方程。OpenAI邀其率先发布欧拉方程成果，并提出两种合作方案，但他拒绝了。

方案一 · OpenAI提议

Bank-Master先发布欧拉方程成果，OpenAI次日发布NS方程证明。

附加代价：OpenAI称若顺序反过来，他们愿意承认Bank-Master应得克雷奖，并称他是“离这个证明最近的人类”。

方案二 · OpenAI提议

由Bank-Master独自撰写NS方程成果论文，但需承认“OpenAI的内部模型”为实际解决者。

OpenAI一位数学家两次提出把“Levent”从作者名单中移除，因他在Anthropic工作而不便参与。

Bank-Master 的公开回应：他拒绝了两个方案，并称若OpenAI擅自发布，将把真相公之于众。

他收到的回复是：“你为什么要毁掉自己的职业生涯？”

他回答：“我是一位学者。”

事件中关键短信：OpenAI数学家要求Levent私下谈，还问“不确定Bank-Master是否完全理性”。

主播观察

若OpenAI陈述属实（确实未参考Bank-Master数据），它其实已经给足了Bank-Master面子，甚至把部分credit归给他。

那句“你为什么要毁掉自己的职业生涯”，未必是威胁，也可能真是善意提醒。

可是，放着“离证明最近的人类”credit 不要，偏偏和一家AI公司硬碰硬指控学术剽窃——最后公布证据又没能坐实抄袭，这样的执着真的理性吗？

比起 AnLLM，OpenAI 在尊重学术界方面已经算做得不错的了，但这次它与“学术界骄傲”的碰撞依然令人遗憾。

更多细节与八卦

时间线9月1日 OpenAI内部模型开始挑战千年难题。

团队判断“欧拉正则性”与NS方程高度相关，被认定为最可能率先斩获的题目。

内部智能体多智能体协作，并行分工，第一批启动后约50小时解决Euler方程。

算力集中随后OpenAI把全部算力倾注于NS方程，于启动后88小时完成证明。

Bank-Master是前AI时代走得最远的人类，人类直觉曾预言“NS方程是七大难题中最可能被攻克的”，AI抽卡验证了这一点。

NS方程问题被AI证明了，但人的争议并未因形式化验证而平息。学术伦理边界，也许比黎曼猜想更值得追问。

“OpenAI内部模型“降世”;人类数学家感到的，却是失重的眩晕”

CuteNote.app 颜值笔记生成
仅记录真实事件 · 无虚构演绎

OpenAI攻克NS方程却陷学术伦理风暴