陶哲軒指出，AI 正迫使數學界重新重視直覺與溝通，而非單純依賴證明生成，這為傳統學術模式帶來了潛在危機。這種轉變挑戰了過去對形式化驗證的絕對重視，轉而強調人類自身的理解能力。

此範式轉移重新定義了數學家的角色，顯示原始計算技能的重要性正逐漸低於洞察力與解釋能力。它影響學術評估、終身職評審流程，以及未來數學家的培訓方式。

陶哲軒將現代 AI 視為人類「計算者」與工具長期發展歷史中的最新一環，而非突發的斷裂。他警告說，若未經檢查，AI 生成的證明可能缺乏在人類檢查與理解過程中所產生的關鍵洞察力。

事件背景

數學傳統上依賴嚴謹的形式證明來確立真理，這一標準在二十世紀初得以鞏固。然而，數學的最終目標是促進人類理解，而不僅僅是生成已驗證的陳述。如今，AI 工具能夠生成複雜的證明，挑戰了「證明生成是數學家主要工作」這一傳統觀念。

社群觀察

社群成員指出，數學界正面臨與程式設計師過去所經歷類似的危機，即 AI 自動化了工作的核心任務。有人回憶起龐加萊與希爾伯特之間的歷史辯論，認為現代數學失去了其直覺根源；另一些人則認為，AI 讓這成為成為數學家的更好時機。