OpenAI 纳维-斯托克斯证明遭质疑:机器可验但人类难懂
scottleibrand · x · 2026-09-14
Adam Marblestone 转发并推荐了对 Claude Fable《After Math》一文的回应。该回应作者亲自阅读了 OpenAI 的 Navier–Stokes 论文与配套 Lean 代码，检验「机器可检查的逻辑证明」与「人类可理解、可据以推进的可理解证明」(承袭 Thurston 的区分)是否真的割裂。
被证明的内容:论文在 Fefferman 对 Clay 问题的表述下回答「是」——对任意粘性，都存在一个施加于静止流体上的光滑温和外力，使速度在有限时间内无界发散。
作者以非流体力学专家也能看懂的方式梳理了证明结构与 Lean 形式化是否支持「只交付了前者、未交付后者」的批评，是对「AI 数学证明的可读性危机」这一争论的扎实一手核查。
所属事件:OpenAI 宣称解出 Navier–Stokes 爆破问题(8 条相关)→
「研究」频道最新
- FLASH 仿真框架：单卡 RTX 5090 上分钟级学会布料折叠 — ChongZzZhang · 2026-10-26
- LEMON 监控器:从注意力图零样本识别未见过的 LLM 幻觉与越狱 — yoavartzi · 2026-10-26
- EMNLP 主题演讲背后：用语言模型「模拟学习者」生成儿童语言习得新假设 — najoungkim · 2026-10-26
- EMNLP 2026 主题演讲背后的论文：用 bigram 模拟语言习得 — najoungkim · 2026-10-26
- 把 DeepLIFT 重写为独立计算图：输入序列直接输出归因结果 — jmschreiber91 · 2026-10-26
- UCLA 论文:扩散精力与接受宽容度双旋钮,拓宽投机解码速度-质量帕累托前沿 — UCLA · 2026-10-26