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小时内完成。

about image

最新文章

  • 内维尔评论曼城财务丑闻:安菲尔德的愤怒即将爆发
    内维尔评论曼城财务丑闻:安菲尔德的愤怒即将爆发

    直播吧10月2日讯 曼城受到的115项财务违规等指控中有114项成立,而加里·内维尔谈到了下一轮曼城对利物浦的英超联赛。 利物浦过去多年一直是曼城最大的竞争对手,此次曼城财务违规案曝光后,利物浦球迷们对曼城的敌视态度进一步增加。很多利物浦球迷都认为,如果曼城没有在财务方面作弊违规,利物浦应该可以赢得更多次英超冠军。 北京时间10月11日晚,英超联赛第6轮,利物浦将在主场迎战曼城。加里·内维尔表示:...

  • 林诗栋因伤无缘中国大满贯,王励勤关心小将情况
    林诗栋因伤无缘中国大满贯,王励勤关心小将情况

    2026 年 9 月 30 日夜里,WTT 世界乒联一则公告突如其来,王楚钦、林诗栋确定因伤缺席中国大满贯赛事。消息一出,不少球迷都倍感意外,谁也没料到亚运赛场大放异彩的两位主力,会按下暂停键。公告也写明,两人空出的正赛名额,将由资格赛里的幸运落败者依次递补,同时送上对选手早日康复的祝愿。 图片来源于网络 赛事递补有着固定章法。资格赛全部打完之后,没能突围的选手会按成绩排序,顺位靠前的球员抓住这次...

  • 篮协感谢俱乐部对国家队的支持 149天训练引发讨论
    篮协感谢俱乐部对国家队的支持 149天训练引发讨论

    北京时间9月29日,根据媒体人“三土带刺”发文报道,中国篮协对多家CBA俱乐部今夏给予国家队的支持,表示了感谢,发了个证书。 合影的背景,大屏幕上,有一些感谢的话,其中写着149天集训。 根据江苏肯帝亚俱乐部官方社媒发文:9 月 28 日下午,江苏肯帝亚篮球俱乐部全体成员线上参加中国篮协组织的职业篮球联赛警示教育专题会议。会议围绕反兴奋剂、赛风赛纪两大重点,明确联赛纪律底线,守护赛场公平纯粹。 俱...