數學的黑暗之夜：AI 與發現的靈性危機

數學的靈性維度

對許多從業者而言，數學不僅是嚴謹的學術練習；它是一種靈性的追求。原創發現的行為被視為通往神祕的橋樑，這是拉馬努ジャン、格羅滕迪克和康托爾等人物共同的傳統。

發現的社會性

學習已確立的理論常常是一種共情的重新發現。透過跟隨證明，學生與最初發現真理的數學家進行社會對話。數學這種「塔木德」的特質創造了一條橫跨千年的活躍傳鏈。若 AI 能瞬間產出大量證明，這種人際連結將被斷裂，因為不再有人類旅程可供追溯。

「巴別圖書館」悖論

為了說明 AI 驅動發現的心理負擔，此危機被比喻為一種情境：一位「圖書館大師」能在一百萬種不同方式中瞬間完成作家開始的任何故事，並挑選最佳者發表。在這樣的世界裡，作者或許仍會寫作，但當結果被優越且無思考的機器搶先時，創造行為便失去其意義。

專業與經濟影響

雖然有人主張數學家仍將需要評估、教授並展示 AI 生成的證明，但該領域的經濟現實顯示未來將更加不穩定。

• 證書陷阱： 有人主張數學家的經濟價值在於教學，而證明定理僅僅是用來建立獲得教學信任所需證書的儀式。若 AI 使證明定理變得微不足道，「歸屬儀式」和證書過程可能會崩潰。
• 方向的轉變： 一種反觀點指出，數學家將演變為研究的導演，利用 AI 處理證明尋找的繁瑣方面，以更快速地創造出全新的數學子領域。
• 任期壓力： 某些人看到一線希望：AI 可能減輕發表大量「低掛果實」論文以維持任期的壓力，使研究者能專注於更深刻、更有意義的問題。

對 AI 過渡的不同觀點

數學界對 AI 的進入反應極度兩極，這反映了人們對該學科何謂「價值」的不同看法。

「科學 vs. 工藝」辯論

一種觀點認為，如果一個人會拒絕一個能即時提供其職業工作所有答案的「精靈」，那麼他們正在從事一種工藝或藝術，而非科學。從這個視角來看，快樂在於發現的 過程，而非 結果。

民主化論點

其他人則主張 AI 使數學民主化，移除了入門障礙（如進入頂尖研究圖書館與系所的機會），讓更多人能在不考慮其天生「才華」的情況下探索演算法與結構。

效用觀點

有些人認為靈性危機是過度反應，認為 LLMs 缺乏欣賞其所發現關係的能力。在此觀點中，人類作為評估者與欣賞者的角色仍然未受影響且至高無上。

更廣泛的背景：智力首要地位的喪失

有些人認為數學中的此危機是所有知識工作更廣泛趨勢的前兆。從軟體工程到戰鬥機駕駛，有趣的部分——實際的創造與執行行為——正被委託給 AI，留給人類處理審查、測試與規範等邊緣任務。這代表了一種系統性轉變，人類的智力首要地位正在即時被重新定義，導致那些以掌握其工藝為身份的人感到無意義。