三位数学家质疑 OpenAI 纳维-斯托克斯证明:钻了题目空子
PolarBearby · x · 2026-09-22
两周前 OpenAI 宣称用内部 LLM 解决了千禧年大奖难题之一的纳维-斯托克斯问题,有望冲击克雷数学研究所的百万美元奖金,并引发数学界对 AI 公司冲击数学研究的担忧。
但据《科学美国人》报道,三位数学家日前指出,OpenAI 的证明其实回避了真正的问题:
- 该证明针对的是纳维-斯托克斯方程的一个变体,通过引入外力破坏方程来构造解,数学家认为这一变体与现实流体运动脱节、意义有限
- 芝加哥大学数学家 Luis Silvestre 表示:"克雷问题形式上被解决了,但纳维-斯托克斯方程最重要的问题仍未解决"
- 争议焦点在于 LLM 是否发现并利用了问题表述中的漏洞,而非完成实质性数学突破
所属事件:OpenAI 宣称 AI 解 Navier-Stokes 难题引数学界质疑(16 条相关)→
「模型」频道最新
- Claude Code 系统提示词更新：邮件隐私收紧、删除操作更安全 — rchardkovacs · 2026-11-04
- 谷歌坐拥 TPU 与顶级算力,Gemini 用量限制却成最大短板 — haider1 · 2026-11-04
- 商汤发布 SenseNova 6.8 Flash:长记忆、PPT、可编辑 Blender 3D 一站式 — aftahi_ai · 2026-11-04
- 用 Codex 四天近乎崩溃：自审承认 16 处失败，还得靠 Claude 收尾 — v0id_user · 2026-11-04
- shadcn 谈 Opus：代码「品味」无法靠短期 benchmark 验证 — shadcn · 2026-11-04
- 用户吐槽 Claude「Ultrafast」模式：限额度烧得快 8 倍，不如推出省额度的 flex 速度档 — Lucky_Creme_5208 · 2026-11-04