热点事件持续更新
数学家质疑OpenAI纳维-斯托克斯证明
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
OpenAI 于 2026 年 9 月发布了一份 166 页的 Navier-Stokes（纳维-斯托克斯）问题潜在证明，该证明以 Lean 形式化语言写成，OpenAI 称其基于数学家 Diego Córdoba 和 Luis Martínez-Zoroa 的思路。克雷数学研究所（CMI）随后启动对该证明的评审。2026 年 10 月 17 日，据 The Decoder 报道，数学家对这份证明提出异议，认为它虽然以 Lean 形式化形式呈现，但与 OpenAI 所称的 Córdoba 和 Martínez-Zoroa 的思路只是表面上相似，实质并不一致。目前 CMI 的评审仍在进行中，该证明能否被视为有效进展尚无定论。
AI 根据报道生成 · 3 小时前更新
最新进展10月17日 17:00
数学家指出该 Lean 形式化证明与 OpenAI 所称的思路仅表面相似，CMI 评审仍在进行。报道时间线
沿着报道，了解事件的不同侧面。
10月17日
- The Decoder数学家质疑 OpenAI 对其 Navier-Stokes 证明的理解
数学家对 OpenAI 9 月发布的 166 页 Navier-Stokes 问题潜在证明提出异议，认为它虽用 Lean 形式化写成，但与 OpenAI 所称的 Diego Córdoba 和 Luis Martínez-Zoroa 思路只在表面相似，CMI 正在评审。
本事件热度走势
当前热度 9·可比范围峰值 10（10月17日 18:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。