• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

OpenAI因破解纳维-斯托克斯方程赢得100万美元奖金,但Justin Sun的数学大奖至今无人认领

2026-09-17 13:06:02
收藏

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

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%