数学家陶哲轩最近在社交媒体上推荐了一款名为Claude Code的AI工具，称其能够高效处理审稿意见。
鹭羽该平台甚至能指出审稿人的问题。
在最新的一篇合作论文中，尽管陶哲轩作为业界大神也遇到了审稿人的挑战。
结果仅用15分钟就解决了问题，并且还纠正了审稿人的一些错误。
这一消息引起了网友们的广泛关注，纷纷在评论区发表看法。
在最初的审稿过程中，陶哲轩团队曾花费数天时间来修改论文。
他们根据章节分工合作，然后通过GitHub整合所有修改意见。
然而，在第二轮反馈中，审稿人提出了更多细节上的问题。
这些大多是错别字或LaTeX标签的小错误，但需要逐一修正。
此时，陶哲轩决定尝试使用Claude Code来解决这些小问题。
真·AI逻辑闭环了。
15分钟CC全搞定
过程中，CC还意外发现了一处审稿人自己的错误。
陶哲轩只需要审核AI提供的修改内容并选择最佳方案即可。
整个过程只用了不到15分钟的时间，效率大大提高。
因此他感慨道，如果可以重新开始的话，第一次修稿时就会使用AI工具。
陶哲轩计划在今后的工作中进一步利用AI辅助审稿和修改环节。
他认为AI最适合的角色是数学家的助手，而非完全替代人类工作。
实际上，这并非陶哲轩首次尝试用人工智能提升科研效率。
自ChatGPT发布以来，他就开始探索这一领域的可能性。
尽管早期版本对复杂数学问题的理解有限，但如今的AI已具备了一定的能力。
在AI的帮助下，包括陶哲轩在内的数学家已经解决了不少长期未解的问题。
其中一些成果甚至在短短48小时内完成，并获得了国际认可。
由此可以看出，人工智能与人类合作正在成为数学界的新潮流。
随着这种趋势的发展，陶哲轩也在不断探索AI工具的应用潜力。
具体来说，他会先用Agent通读一遍审稿意见，然后找出所有可修正的细微问题，比如错别字，审查并实施修改。
再将那些真正需要研究员参与的实质性问题筛选出来，人为分工合作。简而言之，就是将例如语法上的脏活累活交给AI，而人类专心解决难题。
这也是陶哲轩一直所强调的，AI最合理的角色是成为数学家的“副驾驶”或助理，而不是取代人类在创造性、直觉性、策略性上的工作。
One More Thing
事实上，这已经不是陶哲轩第一次用AI提升效率了。
从2022年ChatGPT刚发布起，他就开始积极探索AI辅助数学工作的可能。
只不过彼时的ChatGPT还不能完全理解数学问题的本质，但随着时间的推移，现在的AI已初步具备数学家潜质。
在AI的帮助下，陶哲轩等数学家已陆续解决了多道困扰学界多年的难题，比如48小时通力合作Erdős#1026、GPT-5.2 Pro独立证明45年数论猜想。
Erdős官网也积极鼓励用户借助AI等工具辅助解题。
显然，AI+人正在逐渐成为数学界的新趋势。
而在这种趋势之下，陶哲轩也在努力探索AI的应用边界，从解决数学问题、形式化证明再到如今的修改论文，AI让发表数学成果变得更轻松。
参考链接：
[1]https://mathstodon.xyz/@tao/116517314420904580
[2]
https://terrytao.wordpress.com/mastodon-posts/
[3]https://mathstodon.xyz/@tao/113721192051328193