Terence Tao 博客：AI 与数学的独立顾问组成立
The Advisory Group on Mathematics and Artificial Intelligence
由 Terence Tao 博客发布的客座文章正式宣布，一个名为 Advisory Group on Mathematics and Artificial Intelligence 的独立组织已在 Institute for Advanced Study 成立。该小组由 François Charles、Timothy Gowers、Edward Witten 等顶尖数学家组成，旨在为 AI 公司提供关于数学研究互动的建议，特别是针对 OpenAI 内部模型生成的大量数学成果的发布协调问题。小组强调其独立性、透明度和问责制，成员不接受任何支付，致力于维护数学界的长远利益，并邀请社区通过特定表单提供输入，以共同应对 AI 时代数学研究面临的历史性挑战。
我们正处于一个历史性的时刻，近期的事件引发了关于如何支持数学领域深层人类理解的长期前景的紧迫问题。
HN 评论区
80- ipdashc
我知道数学家们向来聪明，但老实说，过去几周发生的事件让我对他们的敬意又提升了一个档次。
他们可能是我见过的第一个在经历 AI“热潮”后，能立即团结起来、评估局势，并冷静、富有同理心且理性地采取行动（至少在外人看来是这样）的群体。他们评估了 AI 擅长什么、欠缺什么；他们深入思考了 AI 未来可能如何影响他们的领域；他们阐明了人类依然不可或缺之处，并针对如何变革自身领域以及对 AI 公司提出何种要求，做出了清晰的提议。当然，他们并非完全意见一致，但至少他们在交流、在尝试。
他们没有开始崇拜机器之神，也没有大声宣称整个领域的问题都已解决。他们也没有对着大语言模型（LLM）胡乱挥舞拳头，仿佛抱怨得够多就能让这些问题消失。
我看到的数学界就此事发布的每一份重要声明，都读来深思熟虑、谦逊、有理有据，且充满人文关怀。
在这个充满恐惧、不确定性和职业过时焦虑的时代，老实说，他们让我有了一些信心：也许我们终究能搞定这一切。也许我们能从他们身上学到东西。谁知道呢。
- encyclopediai
一位数学家的建议：
我会推动尽快对现有的整个数学语料库（即当前 AI 所摄入的所有论文等）进行审计。鉴于论文数量级约为 10^7 篇，与已宣布的成果进展相比，这项工作或许能在不到一年的时间内完成。
所有这些成果都利用了现有的语料库。如果有足够的时间，或许再投入几个数量级的关注度，我们人类也会发现这些成果。
所以，与其生产大量新证明（尽管在我看来这样做也欢迎），不如先进行审计，OpenAI、Anthropic 或任何愿意倾听的人。
- elffjs
关于 Burt Totaro 链接文章的一条评论：
> 如果我认为这是一件好事，那这确实是一群合适的人来做。但我立刻产生了疑虑。OpenAI 此前遭遇了一些非常糟糕的舆论，所以他们正试图利用这些数学家所享有的信任和尊重。认为这个小组能改变 OpenAI 的商业模式是不切实际的；我不必再赘述人们对此提出的种种反对意见。帮助他们的危机公关是个好主意吗？
https://terrytao.wordpress.com/2026/09/21/advisory-group-on-...
- auggierose
> 我们目前正面临一个非常具体的挑战：就 OpenAI 如何协调发布其内部模型据称已产生的大量重要数学成果，向 OpenAI 提供建议。
我只想看到问题陈述、解决方案以及相关的 Lean 证明。除此之外的一切都是“守门”行为。学术界真是跌到了谷底。
- these
我不太明白，这看起来像是学术圈的一种“守门”操弄。
当然，OpenAI 和其他公司会大肆炒作任何由大语言模型主导或辅助的研究成果，媒体也会找出劲爆的标题来报道。但归根结底，他们是在发表研究成果，而学术圈可以评估这些进展并决定如何利用它们。在我看来，这似乎正是研究工作正常运行的样子。