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

最新文章

  • 张玉宁荣膺2026中超本土金球奖
    张玉宁荣膺2026中超本土金球奖

    北京时间11月10日,2026赛季中国足球职业联赛颁奖典礼在广州正式举行,据懂球帝前方报道,北京国安前锋张玉宁获得2026中超年度本土金球奖。 张玉宁本赛季以15球的进球成绩排名本土射手榜第一,位列全中超射手榜第6,同时以7次助攻位列助攻榜并列第九。 张玉宁再次登场发表获奖感言,他表示,这座奖项是对自己在球队价值的一种回报。张玉宁用英语发言向蒙哥马利表达感谢,特别感谢你,感谢你给我们带来的足球哲学...

  • 特雷-墨菲三世表现亮眼,斩获26分助力鹈鹕迎战快船
    特雷-墨菲三世表现亮眼,斩获26分助力鹈鹕迎战快船

    虎扑篮球资讯(1280级)楼主2026-11-09 12:35:07发布于上海 [流言板]特雷-墨菲三世全场17投9中,得到26分7篮板3助攻由虎扑篮球资讯 发表在篮球资讯 https://bbs.hupu.com/502 虎扑11月9日讯 今日鹈鹕和快船的比赛已经结束,全场战罢,鹈鹕123-139不敌快船。 本场比赛,鹈鹕队球员特雷-墨菲三世出战30分钟23秒,17投9中,其中三分9投4中,罚球...

  • 国米迎战科莫,皮奥与尼科-帕斯领衔首发阵容
    国米迎战科莫,皮奥与尼科-帕斯领衔首发阵容

    北京时间11月9日1:00,意甲第11轮焦点战,国际米兰坐镇梅阿查球场迎战科莫,本场主裁判为基菲,赛前双方首发出炉。 国际米兰首发: 1-何塞普-马丁内斯、25-阿坎吉、30-卡洛斯-奥古斯托、32-迪马尔科、95-巴斯托尼、99-斯彭斯、7-泽林斯基、20-恰尔汗奥卢、23-巴雷拉、9-马库斯-图拉姆、94-皮奥-埃斯波西托 国际米兰替补: 12-迪詹纳罗、49-普罗韦德尔、6-斯通斯、28-帕...