OpenAI 宣布用 AI 模型 88 小时攻克了千禧年大奖难题
创始人
2026-09-09 09:25:39
0次

9月9日消息，OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness problem），这是克莱数学研究所（Clay Mathematics Institute）于 2000 年提出的七个“千禧年大奖难题”之一。

该问题关注描述流体运动的纳维-斯托克斯方程是否会失效，已困扰数学界约 90 年。

在此之前，Anthropic 上个月宣布其内部一款未公开的 Claude 研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到了 67.2%。消息一出，业界震惊。

OpenAI 表示，该团队通过让约 10,000 个 AI 智能体协作，在约 88 小时内生成了证明。证明显示，一个初始平滑的静止流体在有限时间内可能发展出“奇点”（singularity），即流速无限增长。

OpenAI 提供了分析证明及 Lean 编程语言的形式化验证。验证工作由 GPT-6 Astra 在约 17 小时内完成。

大奖 模型 问题 斯托克斯 OpenAI Astra 小时 黎曼 纳维 流体 千禧年

上一篇：AI软件应用半年考：谁在兑现，谁在掉队？

下一篇：没有了

相关内容

最新资讯

OpenAI 宣布用 AI 模... 9月9日消息，OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新...
AI软件应用半年考：谁在兑现，... 2026年中期业绩披露季落下帷幕。放眼AI产业生态，上游的AI基础设施和芯片盈利能力凸显，中游大模型...
沉迷AI，你在失去什么？ 前不久，有媒体报道，一名15岁的女孩因情绪问题接受心理治疗。在与医生沟通时，反复提及对自己“至关重要...
AI模型加速迭代，半导体产业链... 日前，OpenAI发布新一代人工智能（AI）模型GPT-6 Astra，进一步提升模型操作电脑、执行...
连休5天，又有2市确定秋假时间... 9月7日，临沂市发布中小学秋假时间安排： 经研究，我市2026年秋假时间为11月13日、16日、17...
四川省巴中市普通高中2027届... 一、阅读 （一）阅读Ⅰ（本题共5小题，19分） 阅读下面的文字，完成1～5题。 材料一： 2026年...
控辍保学，人人有责——控辍保学... 普法强基 九年义务教育，是国家统一实施的所有适龄儿童少年必须接受的教育，是孩子监护人必须履行的义务，...
开学法治第一课——国旗下的法治... 新学期伊始，为筑牢青少年法治安全防线，提高青少年法律素养，龙山司法所校园普法品牌“伏龙法治课堂”走进...
这项考试9月19日至21日开考... 各位考生： 2026年9月全国计算机等级考试将于9月19日至21日举行，省教育考试院就相关事项提示如...
大桥刚开通一周盲道板就松动？相... 近日，有上海市民反映，9月1日刚建成通车的申长北路—金园一路道路贯通工程跨吴淞江大桥，开通还不到一周...