OpenAI 用 AI 模型成功攻克千禧年大奖难题

2026-09-09

9月9日消息,OpenAI 在9月8日宣布,其一款尚未公开的 AI 模型成功解决了“纳维-斯托克斯存在性与光滑性问题”,该问题是克莱数学研究所于2000年提出的七大千禧年大奖难题之一。这一问题主要探讨描述流体运动的纳维-斯托克斯方程是否存在失效的可能性,困扰数学界已近90年。此前,竞争对手Anthropic也披露了其内部的Claude研究模型在解决黎曼猜想方面取得了显著进展,提升了黎曼 ζ 函数临界线上零点的比例,从41.6%提高到了67.2%。这一消息传出后,引发了业界的广泛关注。OpenAI 的团队通过约10,000个 AI 智能体的协作,花费大约88小时成功生成了数学证明。这个证明表明,一个初始状态光滑的静止流体在有限时间内可能出现“奇点”,即流速无穷大。OpenAI还提供了相关的分析证明和使用Lean编程语言进行的形式化验证,后者的验证工作则由最新的GPT-6 Astra在约17小时内完成。

最新文章

  • 亚运乒乓球男单看好两名选手争夺冠军
    亚运乒乓球男单看好两名选手争夺冠军

    北京时间9月26日,在亚运会乒乓球男子单打比赛中,1/4决赛收官。日本男团此前在团体决赛中击败中国队获得金牌,张本智和等日本队球员十分兴奋。令人始料未及的是,在单打项目中,2名日本选手现在双双止步8强。随着张本智和、松岛辉空出局,亚运男单4强出炉,大概以下2人争冠。 王楚钦的8强对手是中国台北队的冯翊新,本场王楚钦赢得比较顺利,他直落四盘,以4-0胜出,4局比分分别为11-5、11-8、11-9、...

  • 菲律宾再度向中国寻求支持,或将面临更大挑战
    菲律宾再度向中国寻求支持,或将面临更大挑战

    也不知道菲律宾是怎么好意思开口的。 菲律宾一直唯美国马首是瞻,可偏偏美国对伊朗的军事行动,让它陷入了严重危机。它80%以上的石油都要经过霍尔木兹海峡,海峡封了,供应渠道也就断了。现在菲律宾哪怕花钱也买不到石油,爆发了严重的燃油危机,医院、发电厂,甚至连交通运输都出现了问题。这几天南海那边安静了许多,或许就是因为这样。 为了走出危机,菲律宾政府四处找人帮忙,连中国都在求助名单里。不得不说,他们脸是真...

  • 国足3比0马尔代夫,邵佳一对年轻球员表现褒贬不一
    国足3比0马尔代夫,邵佳一对年轻球员表现褒贬不一

    记者鲁蜜重庆报道 9月24日,重庆邀请赛开战,在首场比赛中,国足凭借王子铭的帽子戏法,以3比0击败了顶替土库曼斯坦参赛的马尔代夫。尽管只是追平了主场对阵马尔代夫的最小分差,但赛后,邵佳一认为无论是过程还是比分“都应该高兴”。至于年轻球员的表现,他认为能力和态度没问题,但自己“不是很满意”,“他们还有很长的路。” 本场比赛,邵佳一排出了四后卫体系,门将刘殿座,高准翼、韩鹏飞、李扬、刘洋组成后防线,黄...