OpenAI获孙宇晨首届百万美元数学奖，但奖金尚未领取
尽管OpenAI因其关于纳维-斯托克斯方程（Navier-Stokes）的证明被列为首届100万美元数学奖的获胜者，但由于该公司同时拒绝申请克雷数学研究所的百万美元大奖，该笔奖金目前仍处于未领取状态。
关键要点
- 孙宇晨的奖项存储库显示，OpenAI提交的纳维-斯托克斯问题解决方案已被标记为“已解决”，具备领取资格，但资金尚未提取。
- OpenAI表示，约10,000个AI智能体工作了约88小时，随后GPT-6 Astra又花费了17小时在Lean系统中进行形式化验证和检查。
- 在审查宣布的结果期间，克雷数学研究所仍将纳维-斯托克斯问题列为“活跃”状态。
奖项详情与背景
孙宇晨设立的新奖项将OpenAI研究团队评为首个100万美元最高奖项的获得者，以表彰其在三维纳维-斯托克斯问题上取得的成果。公开的GitHub记录显示该问题已解决且符合领奖条件，但资金至今未被领取。
OpenAI于9月8日公布了其研究成果，称大约10,000个智能体工作了约88小时，之后GPT-6 Astra又花费了17小时在Lean语言中对证明进行形式化和验证。该公司表示，无意申请由克雷数学研究所（Clay Mathematics Institute）附属于该问题的100万美元千禧年大奖。
克雷研究所仍将该问题标记为“活跃”，并于9月11日表示，此次公告似乎解决了这一问题，但其规则要求在做出任何奖项决定之前必须进行审慎评估。这一流程尚未完成。而孙宇晨设立的独立奖项侧重于机器可检查的证明，在未等待传统同行评审流程的情况下，直接提名了OpenAI团队。
争议与归属权问题
纽约大学教授特里斯坦·巴克马斯特（Tristan Buckmaster）指出，他与同事的一项未发表工作曾存储在OpenAI的产品中，但他不确定模型是否使用了该内容。“我没有指控任何人，”巴克马斯特告诉《卫报》。OpenAI回应称，其调查结果显示，巴克马斯特的Codex提示词不可能影响生成该证明的系统。
此前，OpenAI于9月8日声称，其内部系统已通过展示官方条件下的有限时间奇异性，解决了长期存在的纳维-斯托克斯存在性与光滑性问题。
关于千禧年大奖难题
克雷研究所于2000年创立了千禧年大奖难题，每个难题附带100万美元奖金。二十多年过去了，纳维-斯托克斯问题在形式上仍处于活跃状态，数学家们正在审查新的证明以及相关的归属权问题。
