OpenAI 是否已经彻底解决纳维-斯托克斯千禧年难题?
OpenAI 宣称找到相关解法,但 Buckmaster 与 Alpöge 公开的成果并未宣称彻底解决该难题,而是证明了不可压缩多孔介质方程、布辛涅斯克方程和三维不可压缩欧拉方程在光滑驱动条件下的有限时间爆破等结果。

Codex中的私人研究数据有没有被用于训练的问题,始终没回答
InfoQ 中文报道称,OpenAI 宣称其模型找到纳维-斯托克斯问题相关解法,随后纽约大学数学家 Buckmaster 质疑 OpenAI 可能利用了其上传至 Codex 的未公开研究数据,并与 Anthropic 员工 Alpöge 的署名问题引发争议;OpenAI 方否认相关指控,双方对研究过程和成果归属各执一词。
OpenAI 宣称找到相关解法,但 Buckmaster 与 Alpöge 公开的成果并未宣称彻底解决该难题,而是证明了不可压缩多孔介质方程、布辛涅斯克方程和三维不可压缩欧拉方程在光滑驱动条件下的有限时间爆破等结果。
核心争议包括 Buckmaster 长期上传至 Codex 的研究草稿、提示词和对话是否被 OpenAI 用于训练或模型迭代,以及 OpenAI 是否曾提出不把 Alpöge 列入作者名单;OpenAI 方面否认相关署名指控。
不是。Buckmaster 强调核心理论路线源自 Córdoba 和 Martínez-Zoro 此前的研究,AI 主要用于推进证明、整理和核验,且早期 AI 生成的证明质量较差,需要人类用 Lean 形式化验证并重写。
物理 AI 的大结果何时到来?
豆包工作和飞书,把中国第一个团队 Agent 拉进了工作群圆桌:探路·产业分工的新图谱,看到新未来——国家力量如何转化为产业价值 | 36氪 2026产业未来大会
苹果Siri AI上线;豆包手机助手消费版正式发布;塔克拉玛干沙漠发现两处大型地下水水源
Your Agent Aced the Task. Will It Do It Again?被英伟达点名的杭州团队,补上了AI for Science的「最后一公里」58秒出杯,能拉花的咖啡机器人,在全球70国卖出600万杯
「沃什时代」首次加息要来了?华尔街算好了三种剧本
黄仁勋再谈AI危险论:中国会成为全球开源重要力量商用割草机器人完成数千万融资,用L4级无人驾驶重构高尔夫草坪运维|硬氪首发
月之暗面:网传创始人及员工信息系恶意造谣;OpenAI 放弃今年上市;iPhone Duo炒到9万,黄牛贷款欲囤货|AI周报
AI风口之下,明星们又想“挤上”牌桌了
当黄仁勋和Dario遇上休谟:火鸡、台球与AI末日论一张GPU跑10万原子!分子之心用AI把化学反应“拍”成了电影NVIDIA中国开发者日定档10月苏州,现场设认证考试与黑客松决赛首个AIGC长片大赛!RunningHub单项大奖100万,科幻IP免费改编
我和我的 AI 手机吃了 3 顿饭
美股太贵 该加仓新兴市场吗?圆桌:CVC的全面崛起 | 36氪 2026产业未来大会
以太坊 2026 年第二季度报告
从担心AI失控 到AI造福人类:比尔盖茨怎么想
Python 拥抱 RISC-V:CPython 正式纳入 Tier 3 平台
在金融支付系统中实施混沌工程:来自企业级 ECS 部署的经验教训
派早报:豆包发布手机助手消费者版,绿联发布首款雷电 5 显卡坞等
项目汇报怎么讲,才能让领导看见你的价值?
Introducing Gemini 3.8 Live and 3.8 Live Extended Thinking一款在浏览器里运行、部署在自己服务器上的 SQL 客户端企业案例分享:坤煜量子|36氪2026产业未来大会B站AI无限竞技场今日上线!全球百大AI模型同场竞技,GPT-6高居榜首
Meta 打造“组织第二大脑”智能体的设计思路