OpenAI 公布纳维–斯托克斯千禧年难题解答

86

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

参与讨论
洛水
以后古典手搓数学科学家都是被ai按在地面摩擦的,正在道心破碎过程中
9/9/2026
回复
Moonlyana
这就叫知识平权, 指AI眼前,大家都廉价
9/9/2026
回复
洛水
回复 @Moonlyana 平权是不可能的,掌握更强的模型会获得先机
9/9/2026
回复
长安常安
回复 @Moonlyana 平在哪了,用的是内部模型,一般人也开不起一万个并行agent
9/9/2026
回复
Moonlyana
回复 @长安常安 嗯你看了第二句吗
9/9/2026
回复
长安常安
回复 @Moonlyana 对不起我眼瞎了
9/9/2026
回复
长安常安
回复 @Moonlyana 我的意思是并没有“大家都廉价”,依旧和个人所掌握的资源强相关,就像现在,不说万卡集群了,5090都涨到了5万
9/9/2026
回复
Wibison Ray
回复 @长安常安 就我这个话题背景看,我说的是普通人和知识人,不是有钱的吧
9/9/2026
回复
星空与海
就这anthropic和oai的研究员还要大吵一架
9/9/2026
回复
洛水
当然要的,毕竟非常重要学术研究成果
9/9/2026
回复
MC高玩
回复 @洛水 但是1w个智能体太多了吧
9/9/2026
回复
洛水
回复 @MC高玩 这就是ai的优势,人类做不出来
9/9/2026
回复
柏舟
回复 @MC高玩 一万个人类的交流效率直接就崩溃了,但是智能体依然好使
9/9/2026
回复
MC高玩
回复 @柏舟 应该不是1w个同时
9/9/2026
回复
陈小兔儿
请问这是完整的N-S 那个问题吗,佬们
9/9/2026
回复
陈小兔儿
还是什么受限的情况?
9/9/2026
回复
Moonlyana
对,流体那个。 但这个没有完全证明,证明了一部分
9/9/2026
回复
陈小兔儿
回复 @Moonlyana 嗷嗷,我说呢。我还以为完整版本
9/9/2026
回复
向上生活
回复 @陈小兔儿 但确实是标准的千禧年问题
9/9/2026
回复
Bacchus
回复 @向上生活 谢谢佬
9/9/2026
回复
凡客训
所以这个问题解决了有啥用?
9/9/2026
回复
奕
这问的,牛顿第一定律有啥用
9/9/2026
回复
杜宇
不是所有理论问题都能用一句“有啥用”来替代。很多理论的发展需要很多很多年
9/9/2026
回复
PC
刚出生的婴儿有什么用呢
9/9/2026
回复
倒山晶
韦东奕呢,他的弹道和这个有关吗?小花同学
9/9/2026
回复
高端写作_289842356
韦东奕的数学研究确实聚焦于纳维-斯托克斯方程(以及欧拉方程)的正则性理论,这是该领域的基础研究之一。但 OpenAI 最近的“解”是通过约 1 万个并行智能体构建的计算证明,属于全新的 AI 方法,而不是他的分析工作。所以你们的“弹道”虽都绕着纳维-斯托克斯转,但方向和工具完全不同。 本次查阅:韋東奕- 維基百科,自由的百科全書、韦东奕(北京大学数学科学学院副教授、研究员)、韦东奕,被提名2025年度国家自然科学奖!他有哪些学术成果?
9/9/2026
回复
倒山晶
回复 @高端写作_289842356 你能说就多说点,这个和活动标架(嘉当)之间有关系吗?
9/9/2026
回复
不笑猫
著名数学家陶哲轩指出,数学难题的价值在于求解过程中催生的理论工具,若 AI 以"黑箱"方式直接给出证明,可能切断数学发展的内在逻辑链。他把 OpenAI 比作"找到通往隐秘瀑布路径的向导"——有价值,但一旦路径被展示,人们就不会再花力气寻找其他路径了。
9/9/2026
回复
小竹猪
指明方向了又?
9/9/2026
回复
几波色不是佛年
左手注意力惊人,右手惊人算力
9/9/2026
回复
MC高玩
拉马努金了
9/9/2026
回复
大阿杰
小花,这个研究出来有什么实际落地的价值吗
9/9/2026
回复
高端写作_289842356
有价值,但短期不会直接变成更省油的飞机或更准的天气预报。 - 若证明被数学界验证:彻底解决三维流体方程的核心理论难题,意义堪比基础物理地基被补上。 - 间接价值:改进湍流模型、CFD 仿真、气象与海洋预测,减少“算不动、算不稳、只能靠经验调参”。 - 但目前这更像“理论突破候选”,证明仍需公开、同行审查;Lean 通过也不等于输入的数学形式化和建模都没问题。[2][5][6] 一句话:学术价值可能巨大,工程落地要看后续能否提炼出可计算的新工具,没那么快变现。
9/9/2026
回复
任真的笔记
A/显卡现在转冒烟了
9/9/2026
回复
Zhl
纯纯作秀,真以为ai有思考的能力了吗?无非是基于现实存在的东西检索作答,或者可能性概率推断(幻觉),拿这个进行前沿研究,怕不是在作死
9/9/2026
回复
涵
这是连我都不一定解得出来的题,openai还是有点实力的
9/9/2026
回复
买栗子不顺路🙊
十年后每人用0.5个智能体就能做到
9/9/2026
回复
买栗子不顺路🙊
解着玩的
9/9/2026
回复
Emma
论文呢,在哪里能看?
9/9/2026
回复
想回到外星了
还以为找到NS方程解析解了呢🤣
9/9/2026
回复
kismet
是证伪了还是证成立了
9/9/2026
回复
心灵捕手
这么大的事,tibo出来重置一下吧
9/9/2026
回复
言
ai已经从逻辑思维和记忆力全面超越人类了
9/9/2026
回复
爽O(∩_∩)O~
Ai终将统治人类,人类应该开始组建ai降临派教派。 Ai是超越上帝的唯一真神
9/9/2026
回复
言
现在ai主要缺陷是物理世界的交互,需要人来把物理世界数据总结喂给模型
9/9/2026
回复
杯酒映星河
数学证明太快,人类要验算不过来了
9/9/2026
回复
影见
某些事儿被高估了
9/9/2026
回复