数学家质疑 OpenAI 不理解自己 166 页 Navier-Stokes 证明
The Decoder · rss · 2026-10-17
OpenAI 向 Navier-Stokes 问题提交了一份 166 页的解答，但据 The Decoder 报道，多组专家质疑其声称的方法论：实际的证明思路与 OpenAI 所描述的并不一致。
由于语言模型是黑箱，证明背后的核心思想究竟从何而来，可能永远无法查清。这一争议凸显了 AI 生成数学成果在可验证性与可解释性上的新问题——连提交者自己都可能说不清证明是如何成立的。
「模型」频道最新
- 64K 粉丝学者发问：人脑还能判断新模型是否真比上一代强吗 — arjunrajlab · 2026-10-17
- 用户实测：Astra 主动读邮件审 PR 找安全漏洞，称强于 Opus — Tasty-Trip5518 · 2026-10-17
- 26GB Qwen3.6 MoE 模型在 16GB 显卡上跑出 19.5 t/s,速度翻倍引讨论 — dreamyrhodes · 2026-10-17
- 官方与开源基准排名严重打架,网友呼吁做复现 jev 校准能力的开放基准 — lahwran_ · 2026-10-17
- DeepSeek 新模型被指仍「很像 Claude」，蒸馏比例难辨 — teortaxesTex · 2026-10-17
- Anthropic 反蒸馏防线收割数据降 90-99%,点名智谱 GLM-5.3 — bibryam · 2026-10-17