鷺羽 發(fā)自 凹非寺
量子位 | 公眾號 QbitAI

陶哲軒+AI再上大分！

科研人論文投稿的痛，被陶哲軒用Claude Code一招解決。

這事還得從幾周前陶哲軒合作提交的一篇論文說起，誰能想到，即使是業(yè)界大神，也會被審稿人反復(fù)“折磨”……

但這一次，陶哲軒決定玩點不一樣的。

他把審稿報告反手喂給了Claude Code，結(jié)果15分鐘全搞定，甚至還捉蟲了審稿人的錯。

消息一出，網(wǎng)友紛紛神評論：

合理懷疑審稿人也在使用Claude Code。（doge）

真·AI邏輯閉環(huán)了。

15分鐘CC全搞定

回到這篇論文本身，其實在第一次收到審稿人反饋時，陶哲軒還在老老實實人工肝。

審稿人先是給了一份極為詳細(xì)的審稿報告，其中包含大大小小各種建議，并零散分布在不同章節(jié)中。

于是陶哲軒拉上論文合作者，根據(jù)章節(jié)分布，各自負(fù)責(zé)一部分的論文修改，然后再借助GitHub合并所有修改項。

好在團(tuán)隊分工明確，幾天時間就修改完成。

結(jié)果昨天，審稿人又“死亡催更”第二輪回復(fù)：基本滿意，但……還有十幾個小毛病。

而這些大多都還是錯別字或LaTeX標(biāo)簽問題，問題倒不大，但不改不讓發(fā)。

隔以前，陶哲軒可能就一個個對照著自己改了，但這次，他試著將反饋報告、LaTeX源文件和論文PDF一并喂給Claude Code，結(jié)果讓人眼前一亮：

CC迅速識別出了審稿人提及的十二個問題，并對其中11個直接給出了終版修改方案，至于剩下的第12個，Claude也貼心地給予了兩種可行建議。

有趣的是，CC在過程中還反將一軍，發(fā)現(xiàn)了審稿人自己寫錯的一個單詞。

全程陶哲軒只做了一件事，就是掃描審核AI的修改情況，以及二選一No.12的修改方案。

全程下來，只用了不到15分鐘。

從好幾天到15分鐘，這效率蹭蹭漲，所以陶哲軒也不禁感嘆：

重來一次，第一輪修改我就會用AI。

具體來說，他會先用Agent通讀一遍審稿意見，然后找出所有可修正的細(xì)微問題，比如錯別字，審查并實施修改。

再將那些真正需要研究員參與的實質(zhì)性問題篩選出來，人為分工合作。簡而言之，就是將例如語法上的臟活累活交給AI，而人類專心解決難題。

這也是陶哲軒一直所強調(diào)的，AI最合理的角色是成為數(shù)學(xué)家的“副駕駛”或助理，而不是取代人類在創(chuàng)造性、直覺性、策略性上的工作。

One More Thing

事實上，這已經(jīng)不是陶哲軒第一次用AI提升效率了。

從2022年ChatGPT剛發(fā)布起，他就開始積極探索AI輔助數(shù)學(xué)工作的可能。

只不過彼時的ChatGPT還不能完全理解數(shù)學(xué)問題的本質(zhì)，但隨著時間的推移，現(xiàn)在的AI已初步具備數(shù)學(xué)家潛質(zhì)。

在AI的幫助下，陶哲軒等數(shù)學(xué)家已陸續(xù)解決了多道困擾學(xué)界多年的難題，比如48小時通力合作Erd?s#1026、GPT-5.2 Pro獨立證明45年數(shù)論猜想。

Erd?s官網(wǎng)也積極鼓勵用戶借助AI等工具輔助解題。

顯然，AI+人正在逐漸成為數(shù)學(xué)界的新趨勢。

而在這種趨勢之下，陶哲軒也在努力探索AI的應(yīng)用邊界，從解決數(shù)學(xué)問題、形式化證明再到如今的修改論文，AI讓發(fā)表數(shù)學(xué)成果變得更輕松。

參考鏈接：
[1]https://mathstodon.xyz/@tao/116517314420904580
[2]
https://terrytao.wordpress.com/mastodon-posts/
[3]https://mathstodon.xyz/@tao/113721192051328193