38 岁的 Jacob Tsimerman 认为，人工智能很快将在研究数学上全面超越人类，并可能将数学发展的节奏加速 100 倍。他即将加盟 OpenAI，主要从事安全相关研究。
要点概览：
- Tsimerman 预计，AI 系统将在研究数学上胜出，迫使整个学科重塑运行方式。
- 他将从多伦多大学请假，但保留教职。
- 他在 OpenAI 的工作重心将是安全，而非继续冲高模型能力。
为何从多伦多大学转战 OpenAI？
在周五发布的一次采访中，这位来自多伦多大学的数论学家表示，过去几个月，AI 在数学上的表现出现质变：先是面向中学生的竞赛题被模型“轻松攻克”，随后连研究前沿难题也在数月内被突破。曾经连基础题都会犯错的模型，如今已经能给出足以让专业数学家引以为傲、并能正式发表的证明。
如果这条趋势延续下去，他判断，AI 在当前意义上的“数学家工作”上将稳定优于人类。届时，数学界不得不重新思考整个学科的运作逻辑。
7 月 23 日，在国际数学联盟宣布他因在安德烈–乌尔特（André–Oort）猜想上的工作获得本年度斐尔兹奖后数小时，他在一则声明中公开了这一动向。斐尔兹奖每四年授予一次，面向 40 岁以下数学家。今年的奖项还授予了汪鸿（Hong Wang）、**邓煜（Yu Deng）**和 John Pardon。
Tsimerman 将从多大数学系暂时离岗，但保留教职，他也坦言，自己对一年以后的职业规划尚未作出最终决定。
延伸阅读：比特币 ETF 单日净流入 2.331 亿美元，几乎全部来自一只基金
陶哲轩：数学正步入“基础与价值观危机期”
**陶哲轩（Terence Tao）**在上周末于费城举行的同一届大会上警示，数学正走入一个高度动荡的新阶段，他称之为这门学科在“基础”和“工作价值观”上的危机。
他提到，今年 5 月的一项实验中，前沿大模型在 10 道未发表的研究问题中解出 7 道，其证明经领域专家审阅后被认定正确，足以刊发。Tsimerman 对这类变化中蕴含的机会持乐观态度：如果纯数学和应用之间的链路被极大压缩，一些历来需要数十年积累才能取得的进展，有可能被集中在极短时间内完成，使“有用的数学产出”整体提升一个数量级，甚至达到 100 倍。
重押 AI 安全，而非再“卷能力”
Tsimerman 在 OpenAI 的任务将聚焦安全，而不是继续推动模型能力极限。在他看来，能力端在没有他参与的情况下也在高速演进，而安全相关的系统性工作尚不成熟，且人手极度紧缺。
他的安全关注并非始于此行。去年，他与 Andrew Critch 合著了一份报告，将由 AI 驱动的人类灭绝情景拆分为五大类，并按“由谁承担责任、甚至是否存在可追责主体”的逻辑进行系统划分，该报告发布在 arXiv。
本周，他也公开支持一封由 OpenAI、Anthropic、Google 和 Meta 逾千名员工联署的公开信——包括 Anthropic 首席执行官 Dario Amodei 在内的签署者，呼吁华盛顿支持建立一套国际机制，对前沿 AI 的发展节奏进行协调与约束。