《學霸的征途是星辰大海》第649章 數學AI的爆發 二(1)

作者:見習人類觀察員·1小時前

(最近這幾章沒寫好,各位看官養一養吧)

徐辰沒有去看螢幕上那快到令人眼花繚亂的推導程式碼,單憑耳邊飄過的這幾句對話,他的腦海中就已經自動還原出了對方的解題框架。

那是一個低維代數幾何裡懸置了很久的老大難問題。在傳統的數學路徑裡,想要觸碰它的邊界,需要極度精巧且優美的拓撲構造。但現在,這幫年輕人完全拋棄了“優雅”,他們粗暴地把問題砸碎,切分成幾百個極細的邏輯分支,然後用純粹的算力像推土機一樣一條條趟過去。

簡單、粗暴、不講武德,但在絕對的算力面前,它的邏輯又嚴絲合縫得挑不出毛病。

徐辰在心裡飛快地評估了一下。如果這條路徑真的能實現閉環證明,毫無疑問,又是一篇穩穩的四大頂刊。而操刀這一切的,只是一個看起來大學剛畢業沒幾年的博士生。

整個研究中心,彷彿變成了一個喧鬧的交易大廳,而不是一個原本應該安靜肅穆的基礎數學研究機構。

……

來到陶哲軒的辦公室,陶哲軒穿著件隨意的套頭衫,他看起來有些疲憊,眼下有著明顯的黑眼圈,但眼神卻亮得驚人。

“這陣仗,“徐辰跟著他往辦公室走,隨手指了指外面,“我還以為走錯了地方,進了什麼量化交易公司的交易大廳。“

“比那個刺激多了。“陶哲軒拉著徐辰進了辦公室,反手關上門,隔絕了外面的喧鬧,“坐。“

兩人在沙發上坐下。

“我剛在外面看到了一個東西。“徐辰開門見山,“有個學生在做低維代數流形的問題,那個解法框架,是自己跑出來的?“

“對。“陶哲軒身體前傾,眼底的興奮根本藏不住,“你覺得那個東西什麼水平?“

“如果證明完備的話,四大不在話下。“

“上週就完備了。“陶哲軒說,“而且那只是其中一個。“

徐辰端起茶杯的手頓了一下。“什麼意思,其中一個?“

“估計有十幾個。”

“十幾篇?”徐辰眼皮忍不住跳了一下。

好傢伙,四大頂刊什麼時候成大批發的大白菜了?

……

陶哲軒繼續補充道,“光是達到四大級別的完整成果,十幾個。都還沒來得及整理成論文發表。這兩週我們每天都在忙一件事,一旦某個成果的證明閉合了,我們就著手整理論文,準備投稿。可是每次我們剛寫到一半,那邊又會傳來新的喜訊。最誇張的一次,我們一天之內完成了三個不同方向的重大成果。 根本停不下來。就像在滾雪球。“

徐辰不由得有些出神。他在心裡快速計算了一下,如果這十幾個成果都是四大獎級別的突破,那這個研究中心在短短一週內產生的學術價值,可能等於世界數學界過去一年的總產出的。這太瘋狂了。

徐辰笑了笑,“看來你們在數學AI這條路上,真的跑通了啊。“

陶哲軒點點頭,說道,“上週我們在院裡組織了一次小範圍的數學AI交流會。邀請了一些做純數學研究的教授和博士生一起討論。結果,大家在和的深度互動中,挖掘出了很多連我都沒想到的思路。 有人用AI的幫助,在一週內完成了原本需要一年的文獻綜述和邏輯框架搭建。還有人發現,把某類問題轉化為窮舉驗證後,AI的效率比傳統證明快幾十倍。然後大家開始在內部推廣嘗試。“

“目前的判斷是,一個熟練掌握AI工具的博士生,在邏輯驗證、海量文獻檢索和複雜推導上的能力,已經等同於過去一整個傳統的研究團隊。 你能想象這意味著什麼嗎?“

陶哲軒的眼神變得深邃起來。

“從前,全世界只有大約一千個最頂尖的數學家在前沿陣地真正做創新性的工作。他們帶著一萬個博士生或博士後。但博士生往往只能做一些邊角料的工作,真正的突破性思想還是來自那一千個頂尖的腦袋。 但現在,這一萬個博士生,每一個都因為有了AI這個助手,相當於變成了一個獨立的、完整的研究力量。 現在不是一千個頂尖數學家帶著一萬個打下手的博士生在推前沿,而是一萬個各自獨立的、配備了強大工具的研究力量在同時衝鋒。 徐,數學這個領域,可能即將進入一場前所未有的井噴。“

……

——時這在就

。聲呼歡的大巨陣一出發然突,裡廳大的外室公辦

。外門向看頭扭,斷一頭話軒哲陶

。門的室公辦了開拉把一,起站地猛他。表的喜狂了出現浮間瞬上臉,麼什了到識意是像他,秒一下

猜你喜歡

同題材或同分類的其他作品。