第649章數學AI的爆發三
第649章數學AI的爆發三(第2/3頁)
三人回到辦公室，關上門。
「徐，你這趟去合肥和成都，走得太是時候了。」陶哲軒給徐辰倒了杯咖啡，「要是你一直在這裡盯著，估計也會像我們一樣，這幾天晚上連覺都睡不著。」
理察端著自己的馬克杯，眼底掛著明顯的黑眼圈，整個人卻亢奮得很。
……
理察指著最上麵的一張清單，開始向徐辰彙報導。
「徐教授，這半個月，我們用這套方法，在數學和理論計算機科學（cs）領域，一共拿下了十項重大進展。」
「十項？」徐辰雖然早有心理準備，但聽到確切數字，還是挑了挑眉。
「對，而且都不是普通的邊角料。」理察語氣中帶著壓抑不住的自豪，「您看這裡。」
他的手指落在第一行。
「我們構造出了首個非服從群。這個問題從1999年提出以來一直懸而未決。」
徐辰微微點頭。這個問題在幾何群論裡相當有名，無數人試圖構造反例都失敗了。
「往下看，」理察的手指繼續移動，「我們推翻了孔涅剛性猜想。這是算子代數和非交換幾何領域的一個核心猜想。孔涅本人當初可是靠相關工作拿過菲爾茲獎的，結果現在，他的猜想被ai推翻了。」
孔涅剛性猜想。
如果說非服從群是有點名氣，這個就是重量級了。被推翻的消息一出，整個算子代數界恐怕都要震一震。
「還有，ehrhart體積猜想，」理察笑了笑，這個就是之前徐辰和陶哲軒順手用ai做掉的那個，「不僅所有維度的證明都補全了，而且極大地簡化了證明過程。」
「除此之外，我們還解決了埃爾德什遺留下來的三個懸賞問題：#183，#146，和#180。」
「在理論計算機科學方麵，改進了球堆積的上界，這可是1978年卡巴強基斯定理以來的首次突破；提升了mrrw編碼界；找到了積和式的新下界；證明了量子並行重複定理；還給出了最鄰近問題（cvp）的困難度新下界。」
理察一口氣念完，長長地呼出了一口氣。
徐辰看著那份清單，沉默了好一會兒。
這份單子上的任何一項，單拎出來，都足夠一個數學家或者計算機科學家發頂刊丶評職稱丶拿終身教職。像推翻孔涅剛性猜想這種級彆的工作，如果是人類獨立完成的，幾個重量級國際大獎跑不掉。
而現在，它們像流水線上的產品一樣，被批量製造了出來。
「這十項成果，耗時多久？花了多少成本？」徐辰問出了一個核心問題。
理察看了陶哲軒一眼，然後報出了一個數字：
「推理算力成本，大概折合兩萬人民幣。時間，一輪搜索加上驗證，一共十天。」
兩萬人民幣。十天。
構造出首個
（本章未完，請點擊下一頁繼續閱讀）