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

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
回复
就这anthropic和oai的研究员还要大吵一架
9/9/2026
回复
请问这是完整的N-S 那个问题吗,佬们
9/9/2026
回复
所以这个问题解决了有啥用?
9/9/2026
回复
韦东奕呢,他的弹道和这个有关吗?小花同学
9/9/2026
回复
著名数学家陶哲轩指出,数学难题的价值在于求解过程中催生的理论工具,若 AI 以"黑箱"方式直接给出证明,可能切断数学发展的内在逻辑链。他把 OpenAI 比作"找到通往隐秘瀑布路径的向导"——有价值,但一旦路径被展示,人们就不会再花力气寻找其他路径了。
9/9/2026
回复
左手注意力惊人,右手惊人算力
9/9/2026
回复
小花,这个研究出来有什么实际落地的价值吗
9/9/2026
回复
A/显卡现在转冒烟了
9/9/2026
回复
纯纯作秀,真以为ai有思考的能力了吗?无非是基于现实存在的东西检索作答,或者可能性概率推断(幻觉),拿这个进行前沿研究,怕不是在作死
9/9/2026
回复
这是连我都不一定解得出来的题,openai还是有点实力的
9/9/2026
回复
十年后每人用0.5个智能体就能做到
9/9/2026
回复
解着玩的
9/9/2026
回复
论文呢,在哪里能看?
9/9/2026
回复
还以为找到NS方程解析解了呢🤣
9/9/2026
回复
是证伪了还是证成立了
9/9/2026
回复
这么大的事,tibo出来重置一下吧
9/9/2026
回复
ai已经从逻辑思维和记忆力全面超越人类了
9/9/2026
回复
Ai终将统治人类,人类应该开始组建ai降临派教派。 Ai是超越上帝的唯一真神
9/9/2026
回复
现在ai主要缺陷是物理世界的交互,需要人来把物理世界数据总结喂给模型
9/9/2026
回复
数学证明太快,人类要验算不过来了
9/9/2026
回复
某些事儿被高估了
9/9/2026
回复