跳至主要內容
Buzzdope Buzzdope
社群

螢幕前的AI解開了百年猜想,B站網友忙著給數學家算退休年齡

Buzzdope 編輯室
螢幕前的AI解開了百年猜想,B站網友忙著給數學家算退休年齡

2024年夏季,一則關於人工智慧在短短一小時內破解十道沉睡超過十年數學難題的消息,在社羣平臺引發軒然大波。這則新聞隨後被大量搬運與二次創作,成為B站科普區與科技論壇的熱門素材。一個名為「AI對數學發展有何幫助」的搜尋關鍵字,在這個以年輕世代為主的影音平臺上累積了數百萬次播放與上萬條彈幕留言。

這場討論的聲音極度兩極。一部分影音創作者與網友將這波技術突破視為數學界新紀元的曙光,認為機器將把人類從繁雜的算力限制中解放出來。另一派聲音則瀰漫著深深的職業焦慮與技術質疑。知名數學家丘成桐在一段公開演講影片中直言,人工智慧對頂尖數學家不會有什麼實質影響。華人數學家張益唐也在另一場學術交流中點出,機器對數學知識的掌握遠未完善,倒是先學會了吹捧。

年輕學者中最激進的表態來自北京大學數學天才惲之瑋。他在今年四月的一場對談中提出,數學這個行業終究會被機器消滅。這些來自學術圈頂端的片段,被B站創作者剪輯成帶有強烈戲劇張力的短影音,成為網友理解這場技術變革的直觀材料。

數學這個行業,終究會被AI消滅。

要理解這場爭論為何在社羣平臺引發如此巨大的迴響,必須回到數學研究本身的傳統脈絡。長期以來,數學被視為人類心智所能觸及的最純粹學科。從紙筆時代的推導到早期電腦輔助證明,工具的演進始終被定義為「輔助」。1980年代,數學家使用超級電腦輔助完成「四色定理」的證明,這是歷史上首次有重大數學難題藉由不可由人力完全驗證的運算得出結論。當時學界內部就引發過一場關於「什麼才算數學證明」的倫理論戰。

如今,大語言模型與神經網路的介入,讓這種工具屬性產生了本質上的動搖。由OpenAI等機構推動的內部模型展現出處理複雜符號邏輯與長週期推演的能力。當機器不再只是算盤或計算機,而是開始具備「直覺性的猜測」與「策略選擇」能力時,人類在學科發展中的主導地位便成為了被檢視的對象。這也是為何當AI在短時間內接連證明多項猜想時,會引發大眾對於技術越界與資安風險的兩極熱議,這與我們曾經探討過的當AI證明數學題人類負責上網吵架現象有著高度的社羣心理相似性。

在B站的討論區裡,這場關於人類心智保衛戰的話題,被轉化為幾個明確的社會焦點。

頂尖大腦的價值保衛戰

對於普通網友而言,最直接的震撼莫過於「天才光環」的消解。過去大眾對數學家的崇拜,建立在普通人無法跨越的智力鴻溝上。解開一道困擾學界數十年的猜想,往往需要數十年的孤獨推演與靈光乍現。然而當螢幕上的進度條顯示,一個複雜的拓撲流形問題在幾分鐘內被模型吐出完美解答時,這種智力崇拜便轉化為一種防禦性的焦慮。

影片留言區裡,最高讚數的評論往往帶有強烈的宿命感。網友們擔憂的不是數學研究的停滯,而是人類教育體系的崩塌。如果機器能夠輕易完成高等數學的推演,那麼年輕一代耗費青春在微積分與線性代數上的訓練意義何在?這種對未來就業與教育投資回報率的焦慮,與科技圈對於底層技術演進的探討形成了一種微妙的對照。

偽命題與真焦慮的碰撞

面對「AI會毀滅數學」的論調,平臺上的科普創作者也展開了激烈的反擊。一位名為「分析學愛好者」的UP主發布影片,標題直白地寫著〈AI會拯救數學,讓數學進入黃金時代〉。這類影片的核心論點在於,機器消滅的只是那些繁瑣且重複性的計算工作,它將迫使數學家將精力集中在更具抽象性與結構性的概念創新上。

這種反擊意見認為,將人工智慧視為競爭對手是一種狹隘的人類中心主義。歷史上每一次計算工具的升級,從算盤到對數表,再到計算機軟體,都極大地擴展了數學研究的邊界。現在的模型或許能夠基於龐大的數據庫猜測出定理的走向,但對於「為什麼要研究這個方向」以及「這個結論在物理世界上意味著什麼」,依然需要人類的直覺與哲學思考。張益唐對機器「學會吹捧」的批評,正是源於現有的模型為了迎合人類的提示詞,經常生成看似合理實則錯誤的虛假證明。

B站熱議中的三大AI數學流派

在這場科學與技術的碰撞中,最焦慮的羣體其實是那些正處於求學階段的理工科學生。這反映在B站另一種高流量的影片類型:基礎教學與職涯指南。

搜尋結果顯示,與「AI對數學發展」相伴隨的,是大量標題帶有「清華大學人工智慧入門」、「零基礎大模型教程」的賣課影片。這些影片的播放量驚人,單一部基礎教程的播放量甚至突破百萬。這背後折射出的是一種生怕被時代淘汰的集體補課心理。

網友在彈幕中坦承,他們觀看數學家談論AI的影片,與其說是出於對基礎科學的關心,不如說是在為自己未來的生存空間尋找答案。與此同時,平臺上也出現了大量針對非本科生的職涯指南討論,這種試圖在快速變動的技術浪潮中重新計算普通人生存帳單的現象,與我們先前觀察到的把學歷焦慮塞進履歷表之前我們先來算算普通人的生存帳單有著極其相似的社會底色。學生們急於弄清楚,究竟應該繼續鑽研那些可能會被機器一秒鐘解決的純理論難題,還是趕緊轉向模型調校與應用層面的實用技能。這場關於數學未來的高維度辯論,最終在社羣平臺上落地為最現實的生存焦慮。

回顧這場在影音平臺上發酵的討論,可以發現大眾對人工智慧的理解,始終在造神與祛魅之間擺盪。從最初對模型展現出超人類算力的驚嘆,到對數學家未來命運的調侃,再到對自身職涯發展的深層焦慮,這一連串的情緒轉折,反映了當代網路社羣面對典範轉移時的標準反應路徑。

數學這門古老的學科是否真的會迎來黃金時代,或者如同惲之瑋所言走向消亡,在未來的很長一段時間內恐怕都不會有絕對的定論。但在這場沒有硝煙的智力博弈中,真正被改變的或許不是那些寫在黑板上的公式,而是螢幕前每一個普通人觀看世界、評估自身價值的方式。在機器的算力邊界不斷向外擴張的今天,我們究竟該如何重新定義那些無法被量化的人類思考價值?