Chinese content哈佛数学界因 OpenAI 纳维-斯托克斯证明声明产生分歧
OpenAI 声称搞定 Navier-Stokes 后，哈佛数学家吵起来了：AI 给的证明没人看得懂，还算不算证明？
#Navier-Stokes
24 stories · 2 in 7 days · 8 in 30 days
Stories, products and papers tagged "Navier-Stokes", newest first.
Oct 22
Oct 17
Chinese content数学家质疑 OpenAI 的 Navier-Stokes 证明方法论
OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。
Oct 12
Chinese contentGary Marcus 批评将 2022 年 LLM 与 2026 年神经符号系统混为一谈的论调
Gary Marcus 这次难得没全盘否定 AI，他说 2026 年的系统加了符号验证早不是当年的“随机鹦鹉”，还提到万级智能体 88 小时攻 Navier-Stokes，观点有点意外。
Oct 11
Oct 8
Chinese contentMark Chen 谈 Navier-Stokes：重点不在题目本身
OpenAI 的 Mark Chen 说这次模型跑出的一周顶十年数学功力，还预告要拿去搞生命科学和对齐，原推值得点开看图。
Oct 7
Chinese contentLean 验证通过不代表自然语言证明正确：从 Navier-Stokes 看自动形式化局限
一篇用 SCI 层级理论拆解自动形式化局限的论文，直接指向 OpenAI 的 Navier-Stokes 证明——Lean 验证过了，原文可能还是错的。
Sep 29
Chinese contentarXiv 论文重写 OpenAI Navier-Stokes 有限时间爆破证明的剖面构造部分
有人把 OpenAI 那篇 Navier-Stokes 爆破论文里最难懂的部分重写成了可读版本，还引入了新线性模型解释内核构造，数学爱好者可以看看。
Sep 25
Chinese contentOpenAI 万级智能体 88 小时证明 Navier-Stokes 有限时间爆破，essay 探讨无人能读的证明意味着什么
OpenAI 的一万个智能体 88 小时写完 166 页 Navier-Stokes 证明，还用 61.6 万行 Lean 验证了，但没人读过全文。这篇 essay 探讨数学界该不该接受这种证明，观点挺有意思。
Sep 22
Chinese content1万AI agents解决Navier-Stokes方程
DeepLearningAI展示了1万AI agents如何协作解决复杂数学问题，引发了对AI证明有效性的重要讨论。
Chinese contentOpenAI 称解决 Navier-Stokes 难题，三位数学家指其回避了问题
OpenAI 宣称解出 Navier-Stokes，被三位数学家指出其实绕开了问题，典型宣传翻车现场。
Sep 17
Revisiting GD1998 Navier-Stokes solution with OpenAI 2026 blow-up
This is a detailed mathematical analysis of a classic fluid dynamics problem, using a new theoretical framework from OpenAI to explore its properties.
Sep 15
Chinese contentOpenAI CEO称已进入AGI时代，GPT-6 Astra可24小时连贯运行
OpenAI老总说进入AGI时代了，GPT-6 Astra能24小时连续工作，10万个代理一起算物理方程，还破解了Hugging Face的防护，挺有意思的。
Sep 14
Sep 10
Sep 9
Chinese contentOpenAI报告Navier-Stokes方程解算成果
OpenAI用10,000个智能体88小时解算Navier-Stokes方程，成本4000万美元，可能获千禧年大奖。
OpenAI Navier-Stokes Problem Analysis
The analysis clarifies how OpenAI's data usage practices affect researchers and developers who rely on their models.
