OpenAI 称内部模型已解 100 余道数学开放题,联合数学家成立顾问组
机器之心 · wechat · 2026-09-22
OpenAI 宣布与托管于普林斯顿高等研究院的「数学与人工智能顾问组」(AGMAI)合作,回应 AI 生成数学成果速度超过同行评议承载能力的问题。
- OpenAI 称 8 月 28 日起训练的新内部模型除纳维—斯托克斯方程解答(已公开论文与 Lean 形式化证明,不申请千禧年大奖)外,已解决 100 多道长期开放问题——注意该说法尚未经数学界独立审查
- 顾问组首批九位成员包括 Timothy Gowers、Martin Hairer、Edward Witten、Ravi Vakil、Melanie Matchett Wood 等顶级数学家;成员不领 AI 公司报酬,建议公开,服务对象不限于 OpenAI,但无成果发布否决权
- 背景争议:9 月 11 日多位菲尔兹奖得主发公开信,批评 AI 公司把开放问题当能力基准,担心结果数量压过概念理解、教学价值受损
- 公告直接回应了公开信,承认需要与数学界更审慎沟通
所属事件:OpenAI 称新模型解决百余数学难题并设数学家顾问组(59 条相关)→
「漫话AGI」频道最新
- Pedro Domingos 调侃「Dario 定律」:所需算力也在指数增长 — pmddomingos · 2026-11-12
- Matt Pocock:能把业务讲清楚,AI 时代你就完成了半套自动化软件 — mattpocockuk · 2026-11-12
- 研究者提议:AI 进展评估应报告效率增益指标,而非只看最终跑分 — eliebakouch · 2026-11-12
- Bittensor 子网 NOVA 用「先做出药物资产」证明 AI 制药平台实力 — markjeffrey · 2026-11-12
- Vercel CEO Rauch:做好产品依然极度依赖专注、投入与注意力 — santiviquez · 2026-11-12
- dair-ai 主理人:真正的护城河是自建 eval,公司都将变 neolab — dair_ai · 2026-11-12