OpenAI被记为孙宇晨首届100万美元数学大奖的获奖方，表彰其在纳维–斯托克斯证明上的突破。但在该公司同时放弃申领克雷研究所奖金后，这笔大奖目前仍处于“无人认领”状态。
要点概览
- 孙宇晨奖项的代码仓库已将OpenAI的纳维–斯托克斯条目标记为“已解决，可申领但尚未申领”。
- OpenAI称约一万个AI智能体计算约88小时后，由GPT‑6 Astra再用17小时完成形式化与机器校验。
- 克雷数学研究院仍将纳维–斯托克斯列为“在研问题”，并在对该结果进行正式评审。
OpenAI与“孙宇晨数学奖”
根据公开说明，孙宇晨新设立的数学大奖，将OpenAI研究团队指定为首届最高奖——100万美元——得主，以表彰其对三维纳维–斯托克斯问题的解决。公开的 GitHub 记录显示，该问题已被标注为“已解决”，并符合领奖条件，但奖金迄今无人申领。
OpenAI在9月8日公布成果时表示，大约一万名智能体协同工作约88小时，随后由GPT‑6 Astra再耗时17小时，在证明助手Lean中完成形式化与验证。公司同时明确表示，无意申请由**克雷数学研究院（Clay Mathematics Institute）**为该问题悬赏的百万美元“千禧年大奖”。
克雷研究所目前仍将纳维–斯托克斯问题标记为“有效在研”。该机构在9月11日指出，OpenAI的公告“表面上似乎解决了该问题”，但依据其奖项规则，必须经过严格、漫长的学术评审流程后才能作出最终裁定，相关程序尚未完成。与之相对，孙宇晨设立的独立奖项以“可由机器检验的形式化证明”为核心标准，绕开传统的同行评审周期，直接将OpenAI团队列为获奖方。
延伸阅读： 比特币挖矿算力恐现50%缺口，容量正被AI抢占
孙宇晨的奖项规则
孙宇晨表示，其数学奖的设计初衷，是“只奖励结果本身”，不在意解题者是人类还是AI系统，将形式化验证置于评审机制的核心位置。“我只看结果，不在乎贡献者是人还是机器。”他强调。
不过，在其奖项代码仓库中也注明，OpenAI的公告本身并不构成传统意义上的“同行评审”，数学界尚未形成广泛共识，相关结论仍处于观察期。
目前，成果归属与学术署名问题仍存在争议。纽约大学教授Tristan Buckmaster表示，他与合作者的一份未发表研究曾存放在某款OpenAI产品中，但他并不知道该模型是否在训练时使用了该材料。“我没有指控任何人。”Buckmaster对**《卫报》（The Guardian）**表示。OpenAI则称，经内部调查，其使用的Codex提示词不可能对最终生成该证明的系统产生影响。
这场争议源于OpenAI在9月8日的宣称：其内部系统已在官方设定条件下，通过展示有限时间奇性，解决了长期悬而未决的纳维–斯托克斯“存在性与光滑性”难题。
早在2000年，克雷研究所就设立了“千禧年七大数学难题”，为每道题悬赏100万美元。二十多年过去，纳维–斯托克斯问题在官方层面仍然被列为“未解决”，当前数学界正对OpenAI的机器证明展开细致审查，同时也在厘清学术贡献与署名问题。
