陶哲轩+AI再上大分!
科研人论文投稿的痛,被陶哲轩用Claude Code一招解决。

这事还得从几周前陶哲轩合作提交的一篇论文说起,谁能想到,即使是业界大神,也会被审稿人反复“折磨”……
但这一次,陶哲轩决定玩点不一样的。
他把审稿报告反手喂给了Claude Code,结果15分钟全搞定,甚至还捉虫了审稿人的错。
消息一出,网友纷纷神评论:
合理怀疑审稿人也在使用Claude Code。(doge)

真·AI逻辑闭环了。
回到这篇论文本身,其实在第一次收到审稿人反馈时,陶哲轩还在老老实实人工肝。
审稿人先是给了一份极为详细的审稿报告,其中包含大大小小各种建议,并零散分布在不同章节中。
于是陶哲轩拉上论文合作者,根据章节分布,各自负责一部分的论文修改,然后再借助GitHub合并所有修改项。
好在团队分工明确,几天时间就修改完成。
结果昨天,审稿人又“死亡催更”第二轮回复:基本满意,但……还有十几个小毛病。
而这些大多都还是错别字或LaTeX标签问题,问题倒不大,但不改不让发。

隔以前,陶哲轩可能就一个个对照着自己改了,但这次,他试着将反馈报告、LaTeX源文件和论文PDF一并喂给Claude Code,结果让人眼前一亮:
CC迅速识别出了审稿人提及的十二个问题,并对其中11个直接给出了终版修改方案,至于剩下的第12个,Claude也贴心地给予了两种可行建议。
有趣的是,CC在过程中还反将一军,发现了审稿人自己写错的一个单词。
全程陶哲轩只做了一件事,就是扫描审核AI的修改情况,以及二选一No.12的修改方案。
全程下来,只用了不到15分钟。
从好几天到15分钟,这效率蹭蹭涨,所以陶哲轩也不禁感叹:
重来一次,第一轮修改我就会用AI。

具体来说,他会先用Agent通读一遍审稿意见,然后找出所有可修正的细微问题,比如错别字,审查并实施修改。
再将那些真正需要研究员参与的实质性问题筛选出来,人为分工合作。简而言之,就是将例如语法上的脏活累活交给AI,而人类专心解决难题。
这也是陶哲轩一直所强调的,AI最合理的角色是成为数学家的“副驾驶”或助理,而不是取代人类在创造性、直觉性、策略性上的工作。
事实上,这已经不是陶哲轩第一次用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
文章来自于"量子位",作者 "鹭羽"。
【开源免费】AutoGPT是一个允许用户创建和运行智能体的(AI Agents)项目。用户创建的智能体能够自动执行各种任务,从而让AI有步骤的去解决实际问题。
项目地址:https://github.com/Significant-Gravitas/AutoGPT
【开源免费】MetaGPT是一个“软件开发公司”的智能体项目,只需要输入一句话的老板需求,MetaGPT即可输出用户故事 / 竞品分析 / 需求 / 数据结构 / APIs / 文件等软件开发的相关内容。MetaGPT内置了各种AI角色,包括产品经理 / 架构师 / 项目经理 / 工程师,MetaGPT提供了一个精心调配的软件公司研发全过程的SOP。
项目地址:https://github.com/geekan/MetaGPT/blob/main/docs/README_CN.md