AI數學能力突飛猛進，數學家面臨存在危機——協作還是被取代？

AI 攻佔數學堡壘：從金牌到博士論文

數學家們正面臨前所未有的身份危機。不到一年內，人工智能系統的進展已從令人印象深刻躍升為令人不安。

去年夏季，Google DeepMind 和 OpenAI 的系統在國際數學奧林匹亞（IMO）競賽中斬獲金牌，達到全球頂尖高中資優數學生的水準。這只是序幕。今年稍早，Google DeepMind 的實驗性系統 Aletheia 達成更具里程碑意義的成就——首次自主產出可發表的博士級研究成果，計算算術幾何中的結構常數。隨後，OpenAI 的新型系統則推翻了組合幾何學中一個重要猜想，展現出獨立、原創的深度思考能力。

這些突破打破了一個長期共識：人類提出猜想、設計策略、驗證結果，而計算工具只能協助執行。如今 AI 正挑戰這個既有秩序。

形式化證明的加速革命

最具轉變性的發展來自 AI 與「證明助手」（proof assistants）的結合。Isabelle、Lean 和 Rocq 等專門工具已存在超十年，能逐步驗證數學證明的邏輯正確性，但傳統需要人工「形式化」——將非正式證明翻譯成機器可讀代碼，這道工序曾是沉重的瓶頸。

大型語言模型的出現改變了一切。去年 AI 公司 Math, Inc. 的推理代理 Gauss，在數日內協助完成數學家 Maryna Viazovska（2022年菲爾茲獎得主）八維球體填充問題的形式化，隨後在兩週內自主完成更複雜的二十四維情況。這意味著，曾被視為最費力的人類工作現已逐步自動化。

學界的集體焦慮與三派分化

在 2025 年 9 月的海德堡桂冠論壇上，AI 主導了所有討論。當講者描繪超人類 AI 數學家的未來時——提出猜想、搜索解空間、證明結果，全程無需人類——聽眾中瀰漫著明顯的焦慮。迪肯大學學生 Trill White 事後坦言：「『這太令人沮喪了。人們還能為數學貢獻什麼？』我確實感覺到，這將改變一切。」

Google Developer Groups 南非數學家 Jessica Randall 感受到年輕數學家們的存在性恐懼：「就像一顆大炸彈突然引爆，我們確實開始意識到，AI 有潛力取代我們。」

但數學家社群並非一致悲觀。資深數學家包括倫敦數學科學研究所的 Yang-Hui He，對 AI 承接目前人類任務表示坦然——他們只想知道千禧年大獎難題的答案，不論誰解出來。卡內基美隆大學數學家 Jeremy Avigad 開玩笑說：「很多數學家很務實，只想搞懂。他們會為解題方案出賣靈魂。」

大多數數學家則支持另外兩種願景：其一，將 AI 視為工具（如計算機），優先重視人類理解；其二，人類與 AI 協作解決單獨都無法攻克的問題。

數學的本質：答案，還是理解？

這場危機的核心在於對數學本質的根本質問。菲爾茲獎得主、普林斯頓大學數學家 Akshay Venkatesh 認為，問題不在於 AI 能做什麼，而在於數學為何而存在。「數字是一種讓我們達成共識的方式，」他說，「與其說是描述現象，不如說是我們能對含義達成精確共識。」

渥太華大學數學家兼機器學習專家 Maia Fraser 從內在體驗出發。她說，數學的喜悅在於從直覺感受某事應該成立，到逐漸提煉為嚴謹證明的整個過程——這是融合潛意識與意識的、獨特屬於人類的體驗。「溝通和分享這些源自內心的思想，是一種集體智慧，是人類精神中美麗的一部分。」

依此邏輯，即便 AI 證明了長期難題，其價值仍取決於人類能否理解。Fraser 承認，尋找一個「優雅而美麗的人類證明」即使不存在，仍是有價值的努力——因為探索本身就是數學存在的理由。

這場辯論預示著未來的分岔路：數學是否會淪為純粹的「答案工廠」，還是能重新定義自身，在理解、共識與人類創新的更深層次找到位置。