“十項？”徐辰雖然早有心理準備，但聽到確切數字，還是挑了挑眉。
“對，而且都不是普通的邊角料。”理查德語氣中帶著壓抑不住的自豪，“您看這裡。”
他的手指落在第一行。
“我們構造出了首個非服從群。這個問題從1999年提出以來一首懸而未決。”
徐辰微微點頭。這個問題在幾何群論裡相當有名，無數人試圖構造反例都失敗了。
“往下看，”理查德的手指繼續移動，“我們推翻了孔涅剛性猜想。這是運算元代數和非交換幾何領域的一個核心猜想。孔涅本人當初可是靠相關工作拿過菲爾茲獎的，結果現在，他的猜想被AI推翻了。”
孔涅剛性猜想。
如果說非服從群是有點名氣，這個就是重量級了。被推翻的訊息一齣，整個運算元代數界恐怕都要震一震。
“還有，Ehrhart體積猜想，”理查德笑了笑，這個就是之前徐辰和陶哲軒順手用AI做掉的那個，“不僅所有維度的證明都補全了，而且極大地簡化了證明過程。”
“除此之外，我們還解決了埃爾德什遺留下來的三個懸賞問題：#183， #146， 和 #180。”
“在理論計算機科學方面，改進了球堆積的上界，這可是1978年卡巴強基斯定理以來的首次突破；提升了MRRW編碼界；找到了積和式的新下界；證明了量子並行重複定理；還給出了最鄰近問題（CVP）的困難度新下界。”
理查德一口氣唸完，長長地撥出了一口氣。
徐辰看著那份清單，沉默了好一會兒。
這份單子上的任何一項，單拎出來，都足夠一個數學家或者計算機科學家發頂刊、評職稱、拿終身教職。像推翻孔涅剛性猜想這種級別的工作，如果是人類獨立完成的，幾個重量級國際大獎跑不掉。
而現在，它們像流水線上的產品一樣，被批次製造了出來。
“這十項成果，耗時多久？花了多少成本？”徐辰問出了一個核心問題。
理查德看了陶哲軒一眼，然後報出了一個數字：
“推理算力成本，大概摺合兩萬人民幣。時間，一輪搜尋加上驗證，一共十天。”
兩萬人民幣。十天。
構造出首個非Sofic群，推翻孔涅剛性猜想，順手解決三個埃爾德什問題，最後還給理論計算機科學捎了一份全家桶。
“瘋了。”
徐辰靠在沙發背上，喃喃自語。
要不是坐在對面的是陶哲軒和理查德，他現在己經準備撥打反詐中心電話了。
“而且，徐教授，最關鍵的不是這些成果本身。”
陶哲軒在一旁補充道，“真正重要的是，我們建立了一套可以重複執行的方法。”
……
