关于数学与人工智能的咨询小组正式宣布

该咨询小组是对人工智能生成数学成果的具体回应

2026年9月21日，由高等研究院主办的独立、无偿的数学家咨询小组——数学与人工智能咨询小组（AGMAI）正式宣布成立。其当前任务是就OpenAI如何协调发布其内部模型声称已生成的一大批重要数学成果，向OpenAI提供建议。

“我们目前正面临一个非常具体的问题：如何就OpenAI报告由其内部模型生成的大量重要数学成果的发布进行协调。” – AGMAI公告

该小组的宗旨是作为数学界与人工智能公司之间的沟通渠道，确保任何人工智能生成成果的传播都符合学术标准、透明度以及数学学科的长期健康发展。

成员与治理结构

该小组由九位杰出研究人员组成：

François Charles（ENS‑PSL）
Camillo De Lellis（IAS，GSSI）
Timothy Gowers（Collège de France，剑桥）
Martin Hairer（EPFL，帝国理工学院）
Nikhil Srivastava（伯克利，西蒙斯研究所）
Ulrike Tillmann（牛津，INI）
Ravi Vakil（斯坦福）
Edward Witten（IAS）
Melanie Matchett Wood（哈佛）

成员不领取报酬，且该小组独立于任何人工智能公司。其建议将发布在公开网站 agmai.org 上。

社区提出的核心关切

该公告在Hacker News和博客评论区引发了热烈讨论。多个反复出现的主题浮现出来：

1. 透明度与把关之间的权衡

“我唯一希望看到的是问题陈述、解答以及相关的Lean证明。其他任何东西都是把关。” – 匿名评论者

许多参与者认为，社区应立即、无限制地获取问题陈述和证明，担心一个小的咨询委员会可能成为知识传播的新瓶颈。

2. 对OpenAI动机的信任问题

“OpenAI正在把数学当作公关工具。这贬低了数学和数学家。” – gpt5评论

对OpenAI意图的怀疑普遍存在。评论者指出该公司在危机管理方面的历史，并质疑该咨询小组是否能真正影响OpenAI的商业决策。

3. 学术独立性与正当性

“帮助他们的危机管理是个好主意吗？认为这个小组能改变OpenAI的运营方式是不现实的。” – Burt Totaro

一些数学家担心，与以盈利为目的的公司合作可能会损害学科的独立性形象。

4. 发布的实用建议

提出了若干具体想法：

首先发布问题陈述和哈希验证的证明，在短暂的禁运期（例如一个月）后发布完整论文。 – 匿名评论
创建一个独立于arXiv的公开可搜索存储库，用于人工智能生成的结果，以支持社区范围内的验证与注释。 – Grigori Avramidi
向外部研究人员提供计算资源资助，以便他们能够探索、验证并改进人工智能生成的证明。 – 匿名评论

5. 对职业发展与教育的影响

早期职业研究人员表达了对工作安全性和传统博士训练相关性的担忧：

“如果我把我全部薪水都花在token上，我获得的结果会比一个数学家还多。” – 匿名博士生

其他人呼吁重新评估课程设置，将人工智能工具纳入教学，同时保留无需辅助解决问题的能力。

不同的观点

讨论并非单一声音。一些参与者赞扬了数学界迅速而协调的反应：

“数学界已经团结起来，评估了形势，并冷静而理性地采取了行动。” – @ipdashc（Hacker News）

另一些人则警告，咨询委员会可能演变为一个寡头式把关者，将突破性成果的发布控制权集中在少数精英数学家手中。

咨询小组实际可达成的目标

鉴于其明确职责——就成果的呈现与发布提供建议，而非干预人工智能研究的速度——该小组可以：

制定披露标准（例如，要求提供Lean证书、哈希值和清晰的来源信息）。
推荐发布时间表，在优先权主张与社区可访问性之间取得平衡。
通过在 agmai.org 上发布建议和理由，促进透明的评审流程。
就伦理问题提供建议，例如对具有密码学敏感性的结果进行保留。

但它无法阻止OpenAI的内部研究，也无法决定公司的战略方向。

展望

AGMAI的成立标志着一个历史性的时刻：这是世界领先的人工智能实验室与全球数学界之间首次正式、高层级的对接。未来几周将揭示该小组能否引导OpenAI走向开放、可验证且有益于社区的实践，还是仅仅成为一个影响力有限的象征性机构。

读者应关注的关键点：

咨询小组是独立、无偿的，并将公开发布其建议。
社区的当务之急是透明度，避免新的把关机制，并确保人工智能生成的结果可供验证。
实用建议包括哈希验证的证明发布、专用存储库以及为外部研究人员提供计算资源资助。
该小组的影响将取决于OpenAI对其建议的回应，以及更广泛的数学界如何参与即将到来的人工智能生成成果。