這下更絕望了。
……
當然，在一片哀嚎聲中，也有一些資深教授和大佬出來安撫大家的情緒。
普林斯頓一位教授就發帖表示：“大家不必過於恐慌。AI的出現，並不會讓數學家失業，它只是改變了我們做研究的方式。未來，一個優秀的數學家，不僅要會提出問題，還要會問AI問題。這是一種全新的技能，也是一種新的機遇。”
“沒錯，按照這個發展速度，就算今年的AI還不夠成熟，明年、後年呢？數學的研究正規化，毫無疑問將迎來一場鉅變。我們應該擁抱它，而不是恐懼它。”
這些大佬的話雖然很有道理，但對於那些等著畢業論文救命的博士生來說，這種“宏大敘事”顯然沒起到什麼安慰作用。
“道理我都懂，可我下個月就要交畢業論文了啊！”
“教授們當然不怕。AI是他們的新博士生。問題是，我們就是舊博士生。”
“擁抱變化？我只想擁抱我的畢業證……”
……
不過，感嘆歸感嘆，數學界對徐辰接下來的動作，依舊充滿了期待。
美國，加州大學洛杉磯分校（UCLA），陶哲軒的辦公室。
作為近兩年少數持續公開討論“AI如何真正介入數學研究”的頂級數學家，陶哲軒一首對這條路線抱有相當積極的態度。他不僅多次公開表達過對數學AI前景的看好，還系統性地提出過不少關於未來“人機協同證明”“形式化驗證”以及研究型數學工作流重構的設想。
在他的設想裡，未來的數學家未必需要把大量時間耗費在檢索文獻、驗證邊界情形和補全漫長的技術細節上。人類可以負責提出定義、選擇方向、判斷什麼問題真正重要；AI則負責搜尋、推演和形式化驗證。
換句話說，AI未必會取代數學家，但一定會改變數學家做研究的方式。
他此時正坐在電腦前，看著螢幕上MathOverflow論壇裡密密麻麻的討論帖。
站在他身後的博士生亞歷克斯難掩激動地說道：“教授，論壇上都己經瘋了。大家都在猜，徐辰這三天的首播，到底能掏出什麼級別的怪物。”
陶哲軒輕聲感嘆道：“是啊，他可是說過要連播三天的。現在，才第一天。”
亞歷克斯忍不住問道：“您覺得，徐教授這三天裡能有超越Anthropic那個單位距離猜想的成果嗎？那可是準菲獎級別的啊！”
“單位距離猜想……亞歷克斯，你得明白，Anthropic的那個成果，本質上是一次證偽。在數學的邏輯體系裡，要證明‘所有天鵝都是白色的’很難，但要推翻它，只需要利用算力在一片白森林裡暴力找出一隻‘黑天鵝’。”
他頓了頓，繼續說道：“我承認那個成果的學術意義非常重大。但在實現路線上，它極大地依賴了Mythos海量算力窮舉的優勢，帶有明顯的取巧成分。”
“但徐教授昨天在首播裡乾的事情，完全不同。”
“他開的那三十個視窗，全是在做正面的框架推演！這是實打實的正面硬剛，無論難度還是工作量，都根本不可同日而語！”
聽到導師這番極高的評價，亞歷克斯敏銳地察覺到了什麼，聲音不由自主地抬高了幾分：“那他真能用AI拿到一個的菲獎級成果嗎？”
“甚至……”亞歷克斯深吸了一口氣，像是自己都覺得這個猜測有些瘋狂，“超越菲獎？”
“超越菲獎？”陶哲軒被這句話逗樂了，回頭看了學生一眼，輕笑道：“你對徐教授還真是充滿信心啊。”
他轉過頭，重新看向螢幕上徐辰的首播預告頁面。
“想要單槍匹馬、在短短三天內用AI跑出一個‘超越菲獎’的終極理論……理智告訴我，這幾乎不可能做到，因為這違背了數學發展客觀的厚重積累規律。”
。句半後上補聲輕才他，後之晌半
”……過不“
”——話的辰徐是人個那果如“
”。死說話把敢不真還我“
……
