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万美元奖金。二十多年过去了,纳维-斯托克斯问题在形式上仍处于活跃状态,数学家们正在审查新的证明以及相关的归属权问题。

资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种