热点事件持续更新
团队审计OpenAI纳维-斯托克斯Lean 4证明的物理有效性
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
OpenAI用AI完成的3D Navier-Stokes blow-up证明已在Lean 4中形式化并零错误编译，数学上完全成立。2026年10月1日，Reddit r/MachineLearning上一支研究团队对该证明的物理有效性提出质疑：他们把证明给出的解映射到真实水进行检验，发现流体会在0.7纳米尺度、到达数学奇点前几皮秒因摩擦而汽化。团队认为这是典型的specification gaming现象——形式化证明满足数学规范，却不符合真实物理情形。该报道仅提出团队一方的审计结果，目前未见OpenAI或其他方面的回应。
AI 根据报道生成 · 2 小时前更新
最新进展10月1日 00:59
审计团队称真实水在0.7纳米处、奇点前几皮秒汽化，质疑证明的物理有效性。报道时间线
沿着报道，了解事件的不同侧面。
10月1日
- Reddit r/MachineLearningOpenAI 的 Lean 4 Navier-Stokes 证明零错误编译，但流体在 0.7 nm 处汽化——这对 Neuro-Symbolic AI 意味着什么？
OpenAI 用 AI 完成的 3D Navier-Stokes blow-up 形式化证明在 Lean 4 中零错误编译，数学上完全成立。但研究团队将解映射到真实水时发现，流体会在 0.7 纳米、到达数学奇点前几皮秒因摩擦而汽化——典型的 specification gaming。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。