OpenAI 稱 AI 攻克納維－斯托克斯難題，數學界質疑證明有效性
OpenAI称AI攻克纳维-斯托克斯难题，数学界质疑证明有效性 3小时前
OpenAI 於 2026年9月8日宣稱，其 AI 系統在 88 小時內完成納維－斯托克斯方程這項千禧年難題的證明，但數學界質疑其有效性。OpenAI 同時發布 166 頁的 Lean 形式化驗證版本；多國數學家指其未循主流研究路徑，也未解決無外力條件下的核心問題。專家亦質疑方法原創性，並稱智能體的實際貢獻率不足 10%；全球數學界仍在審查成果。
首页快讯商业
AI
消费游戏3C家电汽车文娱
体育专栏直播专题
首页快讯商业 AI 消费游戏3C家电汽车文娱 体育专栏直播专题APP
DoNews>快讯>OpenAI称AI攻克纳维-斯托克斯难题，数学界质疑证明有效性
OpenAI称AI攻克纳维-斯托克斯难题，数学界质疑证明有效性
2026-10-17 18:44:03
11122
分享到
2026年9月8日，OpenAI宣布其AI系统在88小时内完成千禧年难题之一——纳维-斯托克斯方程的证明，并发布166页Lean形式化验证版本。但多国数学家指出，该证明未遵循主流研究路径，且未解决无外力条件下的核心问题；专家质疑其方法原创性、智能体实际贡献率不足10%，并批评成果密集发布缺乏学术阐释。目前全球数学界仍在审查中。
免责声明：本文内容由开放的智能模型自动生成，仅供参考。
最新文章
汽车 奕境X9纯电版登陆工信部公示目录，预计11月正式亮相 奕境X9纯电版登陆工信部，提供后驱/四驱版本，搭载宁德时代电池，同步公布选装配置，11月亮相，形成增程+纯电双动力旗舰矩阵。 吴丽 7小时前
汽车 懂车帝否认“7 月后视频都删了”：系恶意拼图 懂车帝澄清删视频系谣言，指出系自媒体拼接截图、误读数据所致，呼吁公众不信谣不传谣。 杨亮 11小时前
商业 长鑫科技今年前三季净利或达1325亿元 长鑫科技2026年前三季度营收2650–2700亿元，净利1310–1325亿元，主因AI驱动DRAM景气上行、价格大涨及产能效率提升。 杨亮 20小时前
商业 四川具身人形机器人完成超1亿元Pre-A轮融资，新一轮融资已启动 四川具身人形机器人科技有限公司完成超1亿元Pre-A轮融资，将用于‘爱湫’研发、量产及销售体系建设，三条产品线已批量交付并落地多场景。 杨亮 21小时前
汽车 长安汽车换帅：赵非接棒朱华荣担任董事长 朱华荣辞去长安汽车董事长等职，继续任中国长安党委书记、董事长；赵非接任董事长，叶沛任总裁，公司推进全球化与智能化转型。 杨亮 1天前
商业 抖音同意三只羊恢复经营：注销原账号，注册新账号 抖音宣布三只羊公司完成整改，符合恢复经营条件，可注销原号、注册新号重新运营。 杨亮 1天前
商业 理想汽车芯片子公司完成首轮16.25亿元融资协议，最大投后估值171亿元 理想汽车芯片子公司马赫心科技完成16.25亿元融资，投后估值达171亿元；自研5nm马赫M100芯片已量产上车，将持续拓展车外应用。 杨亮 1天前
汽车 越野爱好者福音，传祺越7四驱卫星通信版上市！限时权益价21.78万！ 越野爱好者福音，传祺越7四驱卫星通信版上市！限时权益价21.78万！ 大丽 1天前
关于我们| 电子协议| 合作联系| 京ICP备2025120072号
网站信息
Copyright © DoNews 2000-2026 All Rights Reserved
京ICP备2025120072号
联系地址：北京市海淀区宝盛东路兴华绿色产业楼3层307室（东升地区）
邮箱：jubao@infinities.com.cn
网上有害信息举报专区: www.12377.cn
Copyright © DoNews 2000-2026 All Rights Reserved
京ICP备2025120072号
京公网安备11010802023059号
获取验证码 获取验证码
登录
密码登录 >
验证码登录 >
#热门搜索
热门文章
最新文章
推荐文章
來源：DoNews · donews.com