OpenAI凭借其关于Navier–Stokes方程的证明，被记入孙宇晨首届100万美元数学大奖的获奖名单，但这笔奖金迄今无人认领；在此之前，OpenAI也已明确表示不会申请克雷数学研究所设立的千禧难题奖金。
要点概览：
- 孙宇晨奖项的公开代码库已将OpenAI的Navier–Stokes条目标记为“已解决、可申请、尚未认领”。
- OpenAI称，约1万个AI代理运行约88小时后，由GPT-6 Astra再用17小时完成证明的形式化与检验。
- 克雷数学研究所仍将Navier–Stokes问题列为“在研”状态，正在对这份新证明开展正式评审。
OpenAI获奖却未领奖
根据孙宇晨新设立的数学奖规则，其团队在公开仓库中宣布OpenAI研究团队为首届最高奖——100万美元奖金的获奖者，奖项针对的是三维Navier–Stokes方程问题。公开的 GitHub 记录显示，该问题已被标记为“已解决”，并符合领取条件，但奖金依然无人申领。
OpenAI于9月8日对外公布相关成果，称大约1万个智能体并行工作约88小时后，由GPT-6 Astra再耗时17小时，在Lean证明助理中对结果进行形式化与机器验证。公司同时表示，无意申请由**Clay Mathematics Institute（克雷数学研究所）**为该问题设立的100万美元千禧难题奖金。
克雷研究所方面仍将该问题标注为“处于活动状态”，并在9月11日表示，这一结果“看似给出了解答”，但其评奖规则要求进行审慎而漫长的学术评估，相关程序尚未完成。与此不同的是，孙宇晨设立的独立奖项以“机器可检验证明”为核心标准，直接将OpenAI团队列为获奖者，而未等待传统同行评审与学界共识的形成。
延伸阅读： 比特币挖矿或现50%算力缺口，算力加速向AI迁移
孙宇晨的评奖规则
孙宇晨表示，他的数学奖设计初衷是“无论成果由人类还是AI产出，只看结果本身”，并把形式化验证置于评审流程的核心。“我只关心结果，不在乎贡献者是人还是机器。”他强调。相关代码库同时提醒，OpenAI的公告并不等同于传统同行评审，数学界的广泛接纳尚未得到确认。
围绕“归属权”的争议仍在发酵。Tristan Buckmaster——纽约大学的一位教授——称，他和合作者尚未发表的研究曾存放于某款OpenAI产品之中，但他并不清楚模型是否使用了这些内容。“我没有指控任何人。”Buckmaster对**《卫报》（The Guardian）**表示。OpenAI则回应称，其内部调查发现，Buckmaster在Codex上的提问与代码输入，不可能对最终产出该证明的系统产生影响。
这场风波起源于OpenAI在9月8日对外宣称，其内部系统已经在官方设定条件下，通过证明“有限时间奇点”存在，解决了长期悬而未决的Navier–Stokes方程存在性与光滑性难题。
克雷数学研究所于2000年设立七大“千禧年难题”，每题奖金100万美元。二十多年过去，Navier–Stokes问题在克雷的官方列表中仍保持“未决”状态，如今在数学家们审阅新证明、厘清学术署名和贡献关系的过程中，依旧被视作“正式在研”。
