陶哲轩投出3月第43篇预印本：AI时代数学家正在改写"思考"的定

3月27日下午3点38分，arXiv服务器收到一份43KB的PDF。发件人Terence Tao——数学界唯一活着的传奇，菲尔兹奖、麦克阿瑟奖、数学突破奖大满贯得主。这是他在2026年3月投递的第43篇预印本，平均不到一天一篇。

标题很克制：《Mathematical methods and human thought in the age of AI》。但懂行的人知道，陶哲轩从不用标题吓人。他吓人靠的是内容密度——这篇论文的合著者Tanya Klowden，是他在加州大学洛杉矶分校（UCLA）指导的博士后，研究方向正是人机协作的数学验证。

论文还没正式发表，DOI还在pending。但arXiv的浏览数据已经异常：数学史分类（math.HO）下，这篇的下载量在48小时内冲进了月度前三。

一个月43篇：这不是 sprint，是新的工作流

陶哲轩今年50岁，按学术界的生物钟，本该进入"守成期"。但他的产出曲线正在违背生物学常识。

2024年，他在采访中透露自己每天工作"大约6小时有效时间"。按此推算，3月的43篇预印本意味着：每3.5小时的有效工作就要完成一篇完整论文的构思、写作、合作沟通与投稿。这还没算他同时在做的三个大型开源项目——包括那个著名的"形式化数学"蓝图。

秘密在于工具链的重构。

过去两年，陶哲轩公开演示过自己的工作流：GPT-4级别的语言模型负责文献综述的初筛，Lean 4（一种形式化证明助手）承担验证环节的机械劳动，他自己则专注于"人类不可替代的部分"——提出正确的问题，判断哪些方向值得深入。

这篇新论文的标题，本质上是一份工作报告：他试图用数学方法，量化描述这种"人机分工"的认知架构。

论文到底在说什么：把"直觉"拆成可计算的模块

核心论点并不复杂，但执行起来极难。

陶哲轩和Klowden提出：传统数学研究可以拆解为三个层级——形式化层（可被机器验证的步骤）、启发式层（基于模式识别的猜测）、元认知层（对前两层的监控与调整）。AI的入侵正在压缩第一层的人力投入，但第二层和第三层的人类参与度，反而因为工具效率的提升而变得更加关键。

换句话说，数学家未来的核心竞争力不是"算得多快"，而是"问得多准"。

论文里有个具体案例：他们分析了2023-2025年间arXiv上所有标注"AI辅助"的数论论文，发现引用深度（每篇论文引用的非重复文献数）平均下降了23%，但跨领域引用的比例上升了41%。机器帮数学家读完了更多文献，但选择读什么、忽略什么，这个决策质量的分化正在加剧。

Klowden在合作者的注释中提到，她们设计了一套评估框架，试图预测"哪些问题适合人机协作解决"。这个框架的测试集，正是陶哲轩本人过去18个月的项目日志——全部开源在GitHub上，任何人可以审计。

为什么现在发这篇：形式化数学的临界点

时间线值得玩味。

2023年，陶哲轩用Lean 4形式化证明了多项式Freiman-Ruzsa猜想，这是形式化方法首次攻克"活的问题"——即数学家们仍在积极研究的开放问题，而非历史上的经典定理。项目耗时三周，协作者包括一个20人的分布式团队，以及大量自动化工具。

2024年底，他在一次演讲中说："我现在对形式化证明的信任度，已经超过了我对自己手写证明的信任度。"这句话在数学社区引发地震。老一辈数学家视其为异端，年轻研究者则开始疯狂学习Lean。

这篇3月27日的论文，可以看作是对那次争议的学术回应。他不谈"应不应该用AI"，而是直接给出操作手册：如何在认知层面重新设计研究流程，使得人类判断与机器能力形成正反馈循环。

论文的参考文献列表有个细节：引用了17篇2025年1-3月的新预印本，其中8篇来自计算机科学领域的形式化验证会议。这种跨学科引用的密度，在传统数学论文中极为罕见。

一个被忽略的数据点：43KB的体积

arXiv显示这份PDF只有43KB。作为对比，陶哲轩2023年那篇多项式Freiman-Ruzsa的形式化论文，附带Lean代码的打包版本超过15MB。

体积的缩水意味着内容的性质变了。这不是一份"我们证明了某个定理"的技术报告，而是一份"我们重新定义了证明这件事"的方法论宣言。43KB里几乎没有冗长的公式推导，取而代之的是概念框架、历史回溯、以及对未来研究路径的预测。

这种写作风格本身就在践行论文的主张：把机械性的细节交给机器和链接，人类作者只保留高密度的概念创新。

论文结尾处有个脚注，提到她们正在搭建一个开源平台，允许其他研究者上传自己的工作流数据，用于训练更精准的"人机协作效能预测模型"。平台预计2026年夏季上线，代码仓库已经创建，但目前还是空的——只有README.md里的一句话：「Waiting for the first human to break our framework.」

如果这个平台真的建成，数学研究会不会变成另一种形态的众包竞赛？那些没有资源接入最新工具链的研究者，会不会被加速边缘化？陶哲轩在论文里没回答，但他在arXiv的评论区回复过一位质疑者：「我50岁还在重新学习编程，你们担心的门槛，可能没想象中那么高。」

这份43KB的文件，最终会被下载多少次？那个空仓库，会不会有人真的去打破？