一句话看懂：OpenAI 宣布其内部模型在数学领域解决了超过 100 个长期未解难题，并同时成立一个独立数学与 AI 咨询小组，请数学家来评估、协调和公开这些成果。这既是技术进展的披露，也是一次对 AI 与学术界关系的主动回应。
事件核心：发生了什么
根据 OpenAI 官方信息，该公司在 2026 年 8 月 28 日开始训练一个新内部模型。截至目前，该模型已解决超过 100 个长期存在的数学开放问题，覆盖数学的大部分分支，并声称解决了 Navier–Stokes 千禧年大奖难题。OpenAI 表示，模型在数学上的推进速度令公司内部数学家感到意外。
与此同时，OpenAI 宣布与一批数学家合作，成立独立的“数学与人工智能咨询小组”，由高等研究院（IAS）承办。首批成员包括 Timothy Gowers、Martin Hairer、Edward Witten、Melanie Matchett Wood 等九位知名数学家。该小组独立于 OpenAI 运作，成员不领取 OpenAI 报酬，可以公开提出未被征求的建议，也可以公开评论 OpenAI 对数学界的影响。但其职责不包括建议 OpenAI 如何控制内部数学研究进度。
为什么重要
数学长期被视为大模型推理能力的高难度试炼场。如果模型真能批量解决开放问题，意味着 AI 在形式推理、证明搜索和符号操作上的能力可能已跨过某个门槛。这比刷榜或通过考试更能说明问题，因为开放问题没有标准答案可背。
但进展过快也引发学术界的担忧。此前有数学家发表公开信，批评把“解出开放问题”当作 AI 系统基准会带来负面外部性，例如成果归属、评审标准和学术激励被扰乱。OpenAI 成立独立小组，本质上是在尝试建立一条与数学界沟通的渠道，把成果发布、学术规范和工具支持交给外部判断，而不是自己单方面宣布。
对用户/开发者/创作者的影响
对开发者而言，短期内更值得关注的是数学能力是否会以 API 或工具形式开放。目前公开信息显示，OpenAI 尚未说明该模型是否会对外部署，也未公布定价或接口计划。如果未来落地，可能最先影响的是形式化验证、代码推理、科研辅助和工程计算类应用。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
对研究者来说，这个小组的独立性是关键。它能否真正影响成果发布节奏和评审方式，比名单本身更重要。对普通用户，这更像一个信号：大模型的能力边界正从语言和图像生成，向需要严密推理的领域延伸，但距离日常产品化还有距离。
值得关注的后续
一是该数学咨询小组是否会公开实质性的评审意见，而不仅是象征性背书。二是 OpenAI 是否会把相关数学能力产品化，进入 API 或科研工具市场。三是其他实验室是否会跟进类似的外部咨询机制，以及数学界对“AI 解开放问题”的规范讨论是否形成共识。
来源：OpenAI News
