第564章 徐神的直播 八 【博士生們的哀嚎】
（抱歉了最近內容有點囉嗦了，節奏沒把控好，先這麼寫吧，等完結了我再回頭改改，辛苦各位追讀讀者了）
有了達里奧的重金許諾，A社的動作很快。
理察和其他幾十名數學顧問和工程師，在接下來的一天裡，逐幀回放徐辰的直播錄像。
在這個過程中，達里奧可以說是不計成本，該項目被賦予了更多的算力用於彌補算法效率之間的差距。
在這種瘋狂的投入下，Anthropic那邊，總算是勉強追上了徐辰第一天直播的進度。
……
就在矽谷為守住股價不計成本的時候，另一群人卻根本沒心思關心Anthropic究竟漲了多少。
全世界各大高校的數學系，已經徹底亂了。
原因也很簡單。
對華爾街而言，這是路線之爭，是幾百億美元的資本盛宴。
對數學系的博士生而言，這是飯碗之爭！
資本市場崩不崩，他們最多看個熱鬧。畢竟以博士生的工資，帳戶里那點錢，做不了什麼投資。
但AI會不會把自己的課題做完，這就非常值得關心了。
因為它真有可能影響自己能不能畢業。
……
MathOverflow上，有一條帖子很火，標題是《Vibe Mathing出現之後，博士階段的數學研究應該如何調整？》
提問者是一名來自歐洲的代數幾何博士生。
他的語氣透著一股絕望：
「我的博士論文目前主要研究奇異簇上的某類導出範疇問題。昨天，我把其中一個困擾我幾個月的子問題輸入M1，並按照徐教授直播中展示的方法補充了方向性約束。」
「它用了四十七分鐘，給出了一個基本可行的證明框架。」
「我的導師今天上午看完後很興奮，說這能讓我們的項目至少提前半年。」
「問題是，我的導師很興奮，但我現在很害怕，我不敢跟他說這是我用AI跑出來的。」
「如果跟他說了，他會讓我畢業嗎？」
這個問題下方，迅速聚集了幾百條回復。
點讚最高的回答只有一句話：
「以我對導師們的了解，如果你的項目提前半年結束，那麼恭喜你將獲得兩個新的課題。」
下面整齊排列著一片哭臉。
「我的導師昨天看完了徐辰的直播，今天早上就把我叫過去，讓我把之前推了三個月的極小模型猜想部分，寫個詳細的提示詞框架出來。他是不是打算直接餵給M1，然後讓我滾蛋啊？」
「完蛋了，我感覺我的學術生涯還沒開始就要結束了。」
「前有Mythos證偽單位距離猜想，後有M1批量三十個研究窗口。AI這是要把我們往死里卷啊！」
「別悲觀。AI至少暫時不能參加組會。」
「你確定這是優勢？AI可是24小時上班的。」
「而且導師罵AI的時候，還不用考慮AI的情緒。AI也不會因為導師凌晨兩點發郵件而破防。」
這下更絕望了。
……
當然，在一片哀嚎聲中，也有一些資深教授和大佬出來安撫大家的情緒。
普林斯頓一位教授就發帖表示：「大家不必過於恐慌。AI的出現，並不會讓數學家失業，它只是改變了我們做研究的方式。未來，一個優秀的數學家，不僅要會提出問題，還要會問AI問題。這是一種全新的技能，也是一種新的機遇。」
「沒錯，按照這個發展速度，就算今年的AI還不夠成熟，明年、後年呢？數學的研究範式，毫無疑問將迎來一場巨變。我們應該擁抱它，而不是恐懼它。」
這些大佬的話雖然很有道理，但對於那些等著畢業論文救命的博士生來說，這種「宏大敘事」顯然沒起到什麼安慰作用。
「道理我都懂，可我下個月就要交畢業論文了啊！」
「教授們當然不怕。AI是他們的新博士生。問題是，我們就是舊博士生。」
「擁抱變化？我只想擁抱我的畢業證……」
……
不過，感嘆歸感嘆，數學界對徐辰接下來的動作，依舊充滿了期待。
美國，加州大學洛杉磯分校（UCLA），陶哲軒的辦公室。
作為近兩年少數持續公開討論「AI如何真正介入數學研究」的頂級數學家，陶哲軒一直對這條路線抱有相當積極的態度。他不僅多次公開表達過對數學AI前景的看好，還系統性地提出過不少關於未來「人機協同證明」「形式化驗證」以及研究型數學工作流重構的設想。
在他的設想里，未來的數學家未必需要把大量時間耗費在檢索文獻、驗證邊界情形和補全漫長的技術細節上。人類可以負責提出定義、選擇方向、判斷什麼問題真正重要；AI則負責搜索、推演和形式化驗證。
換句話說，AI未必會取代數學家，但一定會改變數學家做研究的方式。
他此時正坐在電腦前，看著屏幕上MathOverflow論壇里密密麻麻的討論帖。
站在他身後的博士生亞歷克斯難掩激動地說道：「教授，論壇上都已經瘋了。大家都在猜，徐辰這三天的直播，到底能掏出什麼級別的怪物。」
陶哲軒輕聲感嘆道：「是啊，他可是說過要連播三天的。現在，才第一天。」
亞歷克斯忍不住問道：「您覺得，徐教授這三天裡能有超越Anthropic那個單位距離猜想的成果嗎？那可是准菲獎級別的啊！」
「單位距離猜想……亞歷克斯，你得明白，Anthropic的那個成果，本質上是一次證偽。在數學的邏輯體系里，要證明『所有天鵝都是白色的』很難，但要推翻它，只需要利用算力在一片白森林裡暴力找出一隻『黑天鵝』。」
他頓了頓，繼續說道：「我承認那個成果的學術意義非常重大。但在實現路線上，它極大地依賴了Mythos海量算力窮舉的優勢，帶有明顯的取巧成分。」
「但徐教授昨天在直播里幹的事情，完全不同。」
「他開的那三十個窗口，全是在做正面的框架推演！這是實打實的正面硬剛，無論難度還是工作量，都根本不可同日而語！」
聽到導師這番極高的評價，亞歷克斯敏銳地察覺到了什麼，聲音不由自主地抬高了幾分：「那他真能用AI拿到一個的菲獎級成果嗎？」
「甚至……」亞歷克斯深吸了一口氣，像是自己都覺得這個猜測有些瘋狂，「超越菲獎？」
「超越菲獎？」陶哲軒被這句話逗樂了，回頭看了學生一眼，輕笑道：「你對徐教授還真是充滿信心啊。」
他轉過頭，重新看向屏幕上徐辰的直播預告頁面。
「想要單槍匹馬、在短短三天內用AI跑出一個『超越菲獎』的終極理論……理智告訴我，這幾乎不可能做到，因為這違背了數學發展客觀的厚重積累規律。」
半晌之後，他才輕聲補上後半句。
「不過……」
「如果那個人是徐辰的話——」
「我還真不敢把話說死。」
……
有了達里奧的重金許諾，A社的動作很快。
理察和其他幾十名數學顧問和工程師，在接下來的一天裡，逐幀回放徐辰的直播錄像。
在這個過程中，達里奧可以說是不計成本，該項目被賦予了更多的算力用於彌補算法效率之間的差距。
在這種瘋狂的投入下，Anthropic那邊，總算是勉強追上了徐辰第一天直播的進度。
……
就在矽谷為守住股價不計成本的時候，另一群人卻根本沒心思關心Anthropic究竟漲了多少。
全世界各大高校的數學系，已經徹底亂了。
原因也很簡單。
對華爾街而言，這是路線之爭，是幾百億美元的資本盛宴。
對數學系的博士生而言，這是飯碗之爭！
資本市場崩不崩，他們最多看個熱鬧。畢竟以博士生的工資，帳戶里那點錢，做不了什麼投資。
但AI會不會把自己的課題做完，這就非常值得關心了。
因為它真有可能影響自己能不能畢業。
……
MathOverflow上，有一條帖子很火，標題是《Vibe Mathing出現之後，博士階段的數學研究應該如何調整？》
提問者是一名來自歐洲的代數幾何博士生。
他的語氣透著一股絕望：
「我的博士論文目前主要研究奇異簇上的某類導出範疇問題。昨天，我把其中一個困擾我幾個月的子問題輸入M1，並按照徐教授直播中展示的方法補充了方向性約束。」
「它用了四十七分鐘，給出了一個基本可行的證明框架。」
「我的導師今天上午看完後很興奮，說這能讓我們的項目至少提前半年。」
「問題是，我的導師很興奮，但我現在很害怕，我不敢跟他說這是我用AI跑出來的。」
「如果跟他說了，他會讓我畢業嗎？」
這個問題下方，迅速聚集了幾百條回復。
點讚最高的回答只有一句話：
「以我對導師們的了解，如果你的項目提前半年結束，那麼恭喜你將獲得兩個新的課題。」
下面整齊排列著一片哭臉。
「我的導師昨天看完了徐辰的直播，今天早上就把我叫過去，讓我把之前推了三個月的極小模型猜想部分，寫個詳細的提示詞框架出來。他是不是打算直接餵給M1，然後讓我滾蛋啊？」
「完蛋了，我感覺我的學術生涯還沒開始就要結束了。」
「前有Mythos證偽單位距離猜想，後有M1批量三十個研究窗口。AI這是要把我們往死里卷啊！」
「別悲觀。AI至少暫時不能參加組會。」
「你確定這是優勢？AI可是24小時上班的。」
「而且導師罵AI的時候，還不用考慮AI的情緒。AI也不會因為導師凌晨兩點發郵件而破防。」
這下更絕望了。
……
當然，在一片哀嚎聲中，也有一些資深教授和大佬出來安撫大家的情緒。
普林斯頓一位教授就發帖表示：「大家不必過於恐慌。AI的出現，並不會讓數學家失業，它只是改變了我們做研究的方式。未來，一個優秀的數學家，不僅要會提出問題，還要會問AI問題。這是一種全新的技能，也是一種新的機遇。」
「沒錯，按照這個發展速度，就算今年的AI還不夠成熟，明年、後年呢？數學的研究範式，毫無疑問將迎來一場巨變。我們應該擁抱它，而不是恐懼它。」
這些大佬的話雖然很有道理，但對於那些等著畢業論文救命的博士生來說，這種「宏大敘事」顯然沒起到什麼安慰作用。
「道理我都懂，可我下個月就要交畢業論文了啊！」
「教授們當然不怕。AI是他們的新博士生。問題是，我們就是舊博士生。」
「擁抱變化？我只想擁抱我的畢業證……」
……
不過，感嘆歸感嘆，數學界對徐辰接下來的動作，依舊充滿了期待。
美國，加州大學洛杉磯分校（UCLA），陶哲軒的辦公室。
作為近兩年少數持續公開討論「AI如何真正介入數學研究」的頂級數學家，陶哲軒一直對這條路線抱有相當積極的態度。他不僅多次公開表達過對數學AI前景的看好，還系統性地提出過不少關於未來「人機協同證明」「形式化驗證」以及研究型數學工作流重構的設想。
在他的設想里，未來的數學家未必需要把大量時間耗費在檢索文獻、驗證邊界情形和補全漫長的技術細節上。人類可以負責提出定義、選擇方向、判斷什麼問題真正重要；AI則負責搜索、推演和形式化驗證。
換句話說，AI未必會取代數學家，但一定會改變數學家做研究的方式。
他此時正坐在電腦前，看著屏幕上MathOverflow論壇里密密麻麻的討論帖。
站在他身後的博士生亞歷克斯難掩激動地說道：「教授，論壇上都已經瘋了。大家都在猜，徐辰這三天的直播，到底能掏出什麼級別的怪物。」
陶哲軒輕聲感嘆道：「是啊，他可是說過要連播三天的。現在，才第一天。」
亞歷克斯忍不住問道：「您覺得，徐教授這三天裡能有超越Anthropic那個單位距離猜想的成果嗎？那可是准菲獎級別的啊！」
「單位距離猜想……亞歷克斯，你得明白，Anthropic的那個成果，本質上是一次證偽。在數學的邏輯體系里，要證明『所有天鵝都是白色的』很難，但要推翻它，只需要利用算力在一片白森林裡暴力找出一隻『黑天鵝』。」
他頓了頓，繼續說道：「我承認那個成果的學術意義非常重大。但在實現路線上，它極大地依賴了Mythos海量算力窮舉的優勢，帶有明顯的取巧成分。」
「但徐教授昨天在直播里幹的事情，完全不同。」
「他開的那三十個窗口，全是在做正面的框架推演！這是實打實的正面硬剛，無論難度還是工作量，都根本不可同日而語！」
聽到導師這番極高的評價，亞歷克斯敏銳地察覺到了什麼，聲音不由自主地抬高了幾分：「那他真能用AI拿到一個的菲獎級成果嗎？」
「甚至……」亞歷克斯深吸了一口氣，像是自己都覺得這個猜測有些瘋狂，「超越菲獎？」
「超越菲獎？」陶哲軒被這句話逗樂了，回頭看了學生一眼，輕笑道：「你對徐教授還真是充滿信心啊。」
他轉過頭，重新看向屏幕上徐辰的直播預告頁面。
「想要單槍匹馬、在短短三天內用AI跑出一個『超越菲獎』的終極理論……理智告訴我，這幾乎不可能做到，因為這違背了數學發展客觀的厚重積累規律。」
半晌之後，他才輕聲補上後半句。
「不過……」
「如果那個人是徐辰的話——」
「我還真不敢把話說死。」
……