OpenAI 攻克 Navier–Stokes 难题并设 AGMAI,数学界争议持续
先了解这件事
2026-09-28 Wired 报道 OpenAI 使用数千智能体解决了 Navier-Stokes 存在性与光滑性难题,并指出数学发现类似艺术探索,而 AI 的暴力证明方式可能削弱人类理解。2026-09-29 The Verge 报道 OpenAI 成立由九位顶尖数学家组成的 AGMAI,称其独立并负责审查和沟通新成果,但多位数学家指出公告措辞造成混淆,团体成立仓促、缺乏清晰计划。OpenAI 表示未发布模型已解决超过 100 个长期开放问题,同时被指频繁修改稿件且记录不清,加剧数学界的焦虑与不信任。2026-10-05 IEEE Spectrum 报道,OpenAI 宣布解决 Navier–Stokes 存在性与光滑性问题,在海德堡获奖者论坛上引发数学界激烈争论;该问题是七个千禧年大奖难题之一,目前仅 Poincaré 猜想被人类解决。报道还称 Anthropic 曾用未发布版 Claude 研究 Riemann 假设并取得相关进展,OpenAI 据称正聚焦 Hodge 猜想。
AI 根据报道生成 · 8 小时前更新
事件进展
- 9月29日 01:00 · 1 篇报道OpenAI 成立 AGMAI 数学顾问组并计划发布百余数学结果The Verge · AI:OpenAI 咨询数学家顾问团体 AGMAI,但数学界仍感混乱与不安
- 9月28日 17:30 · 2 篇报道OpenAI用数千Agent解决Navier-Stokes存在性与光滑性问题Wired · AI:攻克数学难题曾是艺术形式,AI的出现改变了这一点
报道时间线
沿着报道,了解事件的不同侧面。
- IEEE Spectrum · AIAI破解重大未解数学问题引发数学界争议
OpenAI宣布解决Navier–Stokes存在性与光滑性问题,在海德堡获奖者论坛上引发数学界激烈争论。该问题是七个千禧年大奖难题之一,目前仅Poincaré猜想被人类解决;Anthropic曾用未发布版Claude研究Riemann假设并取得相关进展,OpenAI据称正聚焦Hodge猜想。
- The Verge · AIOpenAI 咨询数学家顾问团体 AGMAI,但数学界仍感混乱与不安
OpenAI 成立由九位顶尖数学家组成的 AGMAI,声称其独立并负责审查和沟通新成果,但多位数学家指出公告措辞造成混淆,且团体成立仓促、缺乏清晰计划。OpenAI 表示未发布模型已解决超过 100 个长期开放问题,同时被指频繁修改稿件且记录不清,加剧数学界的焦虑与不信任。
- Wired · AI攻克数学难题曾是艺术形式,AI的出现改变了这一点
OpenAI使用数千智能体解决了Navier-Stokes存在性与光滑性难题。数学家指出数学发现类似艺术探索,而OpenAI的暴力证明方式可能削弱人类理解。
本事件热度走势
当前热度 8·可比范围峰值 10(10月5日 21:00)·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。