OpenAI 宣布成立独立数学顾问小组
TL;DR
OpenAI 创建了一个由顶尖数学家组成的独立顾问小组，以监督其内部 AI 模型的负责任披露与使用。该模型已解决超过 100 个长期悬而未决的数学难题，包括纳维-斯托克斯千禧年大奖问题。
背景与动机
OpenAI 于 2026 年 8 月 28 日开始训练一个新的内部模型。该模型不仅解决了纳维-斯托克斯千禧年大奖问题，还解决了数学多个领域中超过 100 个长期悬而未决的开放问题。这些突破的进展速度令 OpenAI 自身的数学家们感到惊讶，并引发了关于如何最好地向更广泛的科研社区通报的内部讨论。
数学是许多科学与技术进步的基础，因此 AI 生成新颖数学成果的能力既充满希望，也伴随着重大责任。因此，OpenAI 寻求一种结构化、由社区驱动的方法，以确保其能力得到安全且合乎伦理的部署。
数学界的担忧
最近一份题为《人工智能在数学中的严重错位》（由 Math‑and‑AI Initiative 发布）的公开信表达了数学家们的担忧：将解决开放问题作为 AI 系统的基准，可能产生负面外部效应，例如结果过早发表、同行评审机制被削弱，以及突破性成果获取的不平等。
这些批评凸显了 AI 开发者与数学界之间需要透明、协作的互动。
顾问小组的结构与职责
OpenAI 将与一个独立的数学顾问小组合作，该小组将作为公司与更广泛的数学界之间的桥梁。该小组的职责包括：
- 评估新兴 AI 生成成果的重要性。
- 协调传播，确保负责任的沟通并符合学术标准。
- 就如何将 AI 工具整合到数学研究与教育中提供最佳实践建议。
- 就 OpenAI 对该领域的影响提供独立于 OpenAI 内部时间表的公开评论。
该顾问小组独立运作：其成员可主动提供意见，公开评论 OpenAI 的活动，并在无需 OpenAI 批准的情况下变更成员。成员不从 OpenAI 获得任何报酬，且该小组不就 OpenAI 内部研究的节奏提供建议。
成员名单
首届顾问委员会由九位杰出数学家组成：
- François Charles（ENS‑PSL）
- Camillo De Lellis（IAS）
- Timothy Gowers（Collège de France，剑桥）
- Martin Hairer（EPFL，帝国理工学院）
- Nikhil Srivastava（伯克利）
- Ulrike Tillmann（牛津）
- Ravi Vakil（斯坦福）
- Edward Witten（IAS）
- Melanie Matchett Wood（哈佛）
这些成员在纯数学与应用数学领域具有专长，并拥有学术领导与指导经验。
对 AI-数学领域的意义
该顾问小组的成立标志着 AI 驱动的数学发现治理模式向协作化转变。关键影响包括：
- 增强透明度：对 AI 生成证明的独立审查有助于维护数学文献的完整性。
- 负责任的传播：协调发布策略可降低破坏研究激励或造成突破性成果获取不平等的风险。
- 工具整合：关于 AI 如何支持数学家工作流的指导，可能在保留人类洞察力的同时加速研究进程。
- 其他领域的先例：这一独立顾问监督模式可复制到 AI 在其他基础科学中的应用中。
OpenAI 承认，仍存在诸多挑战，例如定义 AI 辅助证明的标准、确保可复现性，以及应对数学快速进步带来的更广泛社会影响。通过将数学家置于这些讨论的核心，OpenAI 希望塑造一个 AI 增强而非削弱科学进程的未来。
下一步
OpenAI 将与顾问小组密切合作，制定关于审查、发表和许可 AI 生成数学成果的具体政策。与更广泛的数学界持续对话对于完善这些政策，并应对新兴的伦理、教育和技术问题至关重要。
本文总结了 OpenAI 于 2026 年 9 月 21 日发布的官方公告。