这事还得从几周前陶哲轩合作提交的一篇论文说起，谁能想到，即使是业界大神，也会被审稿人反复“折磨”……
他把审稿报告反手喂给了Claude Code，结果15分钟全搞定，甚至还捉虫了审稿人的错。
审稿人先是给了一份极为详细的审稿报告，其中包含大大小小各种建议，并零散分布在不同章节中。
于是陶哲轩拉上论文合作者，根据章节分布，各自负责一部分的论文修改，然后再借助GitHub合并所有修改项。
隔以前，陶哲轩可能就一个个对照着自己改了，但这次，他试着将反馈报告、LaTeX源文件和论文PDF一并喂给Claude Code，结果让人眼前一亮：
CC迅速识别出了审稿人提及的十二个问题，并对其中11个直接给出了终版修改方案，至于剩下的第12个，Claude也贴心地给予了两种可行建议。
全程陶哲轩只做了一件事，就是扫描审核AI的修改情况，以及二选一No.12的修改方案。
具体来说，他会先用Agent通读一遍审稿意见，然后找出所有可修正的细微问题，比如错别字，审查并实施修改。
再将那些真正需要研究员参与的实质性问题筛选出来，人为分工合作。简而言之，就是将例如语法上的脏活累活交给AI，而人类专心解决难题。
这也是陶哲轩一直所强调的，AI最合理的角色是成为数学家的“副驾驶”或助理，而不是取代人类在创造性、直觉性、策略性上的工作。
只不过彼时的ChatGPT还不能完全理解数学问题的本质，但随着时间的推移，现在的AI已初步具备数学家潜质。
在AI的帮助下，陶哲轩等数学家已陆续解决了多道困扰学界多年的难题，比如48小时通力合作Erdős#1026、GPT-5.2 Pro独立证明45年数论猜想。
而在这种趋势之下，陶哲轩也在努力探索AI的应用边界，从解决数学问题、形式化证明再到如今的修改论文，AI让发表数学成果变得更轻松。
参考链接：
[1]https://mathstodon.xyz/@tao/116517314420904580
[2]
https://terrytao.wordpress.com/mastodon-posts/
[3]https://mathstodon.xyz/@tao/113721192051328193
量子位 QbitAI