丁丁打折网 - 网友优惠券分享网站,有688999个用户

京东优惠券 小米有品优惠券

当前位置 : 首页>电脑数码>OpenAI未公开大模型出手,仅用88小时攻克人类90年无解难题

OpenAI未公开大模型出手,仅用88小时攻克人类90年无解难题

类别:电脑数码 发布时间:2026-09-09 18:35

据快科技报道,当地时间 9 月 8 日,OpenAI 公布了一项重磅成果。一款尚未对外发布、数学能力优于 GPT-6 Astra 的内部大模型,借助约 1 万个 AI 智能体协同运算,仅耗时 88 小时就解决了著名的七大千禧年难题之一 —— 纳维 - 斯托克斯方程 ( N-S 方程 ) 的存在性与光滑性问题。

纳维 - 斯托克斯问题属于克雷数学研究所 ( Clay Mathematics Institute ) 2000 年提出的七大千禧年大奖难题之一,单项悬赏奖金 100 万美元,该问题已经困扰数学界近 90 年。

纳维 - 斯托克斯方程是刻画流体运动的基础方程,在气象预测、飞行器研发、流体仿真等领域有着广泛现实应用。这道难题的核心命题为:在流体初始状态足够平滑、总动能有限的条件下,流体速度是否会在有限时间内趋于无穷,即出现爆破奇点。OpenAI 本次得出的证明结论为,该类爆破奇点是可以存在的。

整套研究工作分为两个阶段:1 万个智能体并行开展探索,耗时 88 小时梳理出核心证明思路;后续再投入 17 小时,借助 Lean 形式化证明系统完成严谨校验,同步对外发布 165 页研究论文与配套形式化代码。

本次研究算力开销庞大,求解问题消耗约 1300 亿 ,项目整体 token 消耗接近 3000 亿,项目投入成本达到数百万美元。

不过,目前不少顶尖数学家对这份证明提出质疑,围绕证明逻辑、成果归属出现不同观点,同时还存在相关前期研究的版权争议,也尚未获得克雷数学研究所的公开认可。

丁丁打折网©版权所有,未经许可严禁复制或镜像 ICP证: 湘ICP备2023003002号-11

Powered by 丁丁打折网本站为非营利性网站,本站内容均来自网络转载或网友提供,如有侵权或夸大不实请及时联系我们删除!本站不承担任何争议和法律责任!
技术支持:丁丁网 dddazhe@hotmail.com & 2010-2020 All rights reserved