先了解这件事
2026年9月28日,有文章分析称,OpenAI用LLM以暴力方式给出了纳维-斯托克斯方程相关猜想的166页证明,该证明仍在同行评审中,专家尚未确认其有效性。数学家批评其缺乏透明度、可能未恰当引用他人成果,并指出LLM不善于引用和解释,导致社区几乎无人理解证明过程。25位菲尔兹奖得主签署声明,认为批量生产证明可能“解决而无理解”。同日后续报道称,OpenAI与九位数学家组成数学与人工智能顾问组AGMAI,称该组独立运作、可公开质疑公司,但多位数学家对The Verge表示,公告方式让外界误以为该组由OpenAI任命。AGMAI成员Martin Hairer强调小组不接受OpenAI资金或技术支持,并称成立仅两天、尚无完整计划。OpenAI表示其未发布模型已解决100多个长期未解数学问题,数学家担忧这批结果会冲击自身研究领域。
AI 根据公开报道生成
最新进展 · 正式报道
OpenAI 成立数学顾问组 AGMAI，数学家质疑其独立性事件进展
2 个已确认进展
- 来源：Wired AI
- 来源：The Verge AI
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
9月28日
The Verge AI
OpenAI 成立数学顾问组 AGMAI，数学家质疑其独立性
OpenAI 与九位数学家组成数学与人工智能顾问组（AGMAI），称该组独立运作、可公开质疑公司，但多位数学家对 The Verge 表示，公告方式让外界误以为该组由 OpenAI 任命。AGMAI 成员 Martin Hairer 强调小组不接受 OpenAI 资金或技术支持，并称成立仅两天、尚无完整计划。OpenAI 表示其未发布模型已解决 100 多个长期未解数学问题，数学家担忧这批结果会冲击自身研究领域。
Wired AI
OpenAI 用 AI 证明数学难题后，数学家为何担忧
OpenAI 用 LLM 以暴力方式给出了 Navier-Stokes 方程相关猜想的 166 页证明，该证明仍在同行评审中，专家尚未确认其有效性。数学家批评其缺乏透明度、可能未恰当引用他人成果，并指出 LLM 不善于引用和解释，导致社区几乎无人理解证明过程。25 位菲尔兹奖得主签署声明，认为批量生产证明可能“解决而无理解”；OpenAI 本周成立数学家顾问组回应。