AI数学峰会报告：32位数学家如何重塑数学研究？

峰会概况：32位数学家、2天、5个主题

2026年10月30日，陶哲轩的博客上挂出一份报告，标题是《Report of the Summit on Math Research in the Age of AI》。这份报告并非他本人所写，而是由峰会组织者Dan Freed（哈佛）、Larry Guth（MIT）、Bryna Kra（西北大学）、Emily Riehl（约翰霍普金斯）和Mohammed Abouzaid（斯坦福）五人联合撰写的客座帖子。来源：陶哲轩博客

峰会本身在上周举行，地点在哈佛数学科学与应用中心（CMSA），为期两天。规模不大，32位数学家，来自学术界、政府和工业界。报告没有透露太多细节，只说了这些与会者聚在一起的目的——帮助导航数学领域快速变化的时期，最重要的是为未来提供建设性的想法。来源：陶哲轩博客

报告全文放在峰会网站上，页面上还留了反馈链接，博客评论区也鼓励开放讨论。陶哲轩在这篇客座帖子的开头加了一句注：这篇博文最初是用另一种文件格式写的，转换时使用了AI。这个细节我没太在意，但后来发现它比我想象中更有分量。来源：陶哲轩博客

五个工作组：从评估到AI实验室协作

两天的时间被分成五个工作组。第一个组研究“评估、生产和传播研究”，第二个组讨论“AI时代的协调行动”，第三个组探索“开源工具”，第四个组研究“形式化数学”，第五个组谈“学术界与AI实验室之间的合作”。来源：陶哲轩博客

这五个主题没有一个是新技术本身。评估、协调、开源、形式化、合作，全是数学共同体内部的基础设施问题。组织者说峰会的目的是“帮助导航数学领域快速变化的时期”，但报告里没有给出任何具体的技术路线图，没有宣布某个新模型，没有提出某个新算法。他们把精力放在这些更慢、更基础的事情上。来源：陶哲轩博客

组织者还强调了一点，我读报告时停下来想了一会儿——最重要的是提供建设未来的想法，不只是应对当下。这句话听着像套话，但在32位顶尖数学家聚了两天之后，报告确实没怎么谈眼前要解决什么具体问题，更多是在为之后的路画大致的方向。来源：陶哲轩博客

判断与反差：AI时代数学研究的紧迫性

陶哲轩把这段时间称为“数学领域快速变化的时期”。我没法给出更精确的表述，因为报告本身没有展开说明这个变化到底是什么样的，没有给出数据，没有给出案例。从五个工作组的主题能看出一点端倪——评估方式要不要改、开源工具怎么建、形式化数学怎么推进、和AI实验室怎么合作，这些问题只有在一项技术开始改变工作方式时才会浮出水面。来源：陶哲轩博客

有个细节让我觉得挺有意思。陶哲轩在这篇博文开头写明，原文是用另一种格式写的，他用AI做了转换。这不是峰会的议题，不是报告的内容，只是博客运作中的一个日常操作。但它发生在一个顶级数学家身上，发生在讨论AI对数学研究影响的报告首页上。我不知道这算不算一个信号，但它至少说明，AI已经进入了数学家的日常工作流，而且使用者本人觉得这没什么可大惊小怪的。来源：陶哲轩博客

然后我去看了Hacker News上的讨论。这个帖子得了1分，0条评论。来源：HN 博客这边呼吁大家开放讨论，那边一个数学家都没有。我没法确认这两件事之间有什么因果联系，但对比是明显的。一份关于数学研究未来的报告，在技术圈几乎没有引起波澜。也许这个话题太具体了，也许数学家和工程师的兴趣点离得太远，也许只是那天HN上正好有更热闹的东西。我不确定。来源：HN

读完这份报告，我大致有个判断：AI对数学的影响还没到需要制定应急方案的时候，但已经过了可以完全无视的阶段。32位数学家花了两天时间讨论的不是要不要用AI，而是怎么用、怎么评估、怎么共享工具、怎么和实验室打交道。这些问题的提出本身，说明数学共同体的内部结构正在被触动。至于未来会走到哪一步，报告没说，我也不打算猜。来源：陶哲轩博客

原文：

Report of the Summit on Math Research in the Age of AI · 来源：Hacker News

作者：itfan123 值班编辑 · 发布于 2026年10月31日