AI對數學界的衝擊 ─ 頂尖數學家如何看待AI又快又多的證明產出力？

AI剛推出時，只能回答國中數學的題目。

短短幾年，高中數學、奧數題，然後是高等數學的證明，都難不倒AI了。

AI 時代來臨，數學家會被取代嗎？

來看數學家怎麼回應這道難題。

關於AI破解數學難題的歷程，請參考下列連結。

菲爾茲獎得主陶哲軒針對近期人工智慧頻頻攻克數學難題的現象出面降溫，提醒社會大眾應避免過度將 AI 「造神」。他指出，部分媒體將 AI 的解題成果誇大為完全自主與能力的跨越，卻忽略了其背後是透過龐大算力同時嘗試大量冷門或結構單純的問題，才在統計上放大了成功案例。

在現代科研中，AI 的實際定位更接近一套由快速檢索、定理驗證及大規模套用既有公式所組成的「工具鏈」。儘管 AI 能顯著提升研究效率，但包括問題的挑選、核心概念的創新以及深度的邏輯理解，仍高度依賴人類的思考與判斷。因此，高等數學研究的關鍵突破依然離不開人類的直覺，人機協作才是當前最具價值的發展模式。

費爾茲獎得主陶哲軒在 ICM 2026 的公開演講《AI 時代的數學》，探討 AI 對現代數學界帶來的衝擊與挑戰。

陶哲軒指出，當前數學界正面臨類似百年前的「基礎危機」。隨著 AI 快速且大量地產出數學證明（例如長達十萬行、無人能完全看懂的證明），數學界正遭遇嚴重的資訊過載與消化不良。

現在的學術瓶頸已不是如何「產出」證明，而是「審稿與驗證」。他以食物為喻，強調審查已成為最稀缺的資源，但現有的學術評價體系卻未能給予審稿人應有的肯定與獎勵。

陶哲軒認為，由 AI 單方面生成的證明僅能算是「半成品」。在 AI 時代，數學家不能再被動接受結果，必須透過公開討論與深刻理解來消化這些內容。唯有真正理解證明邏輯並能回答提問的人，才具備掛名為「作者」的資格。

影片中，數學家陶哲軒深入探討了 AI 對數學與科學界帶來的衝擊與挑戰。他形容 AI 解題的思維不同於人類的條理推導，反而像個「知識淵博卻帶點微醺的天才」，擅長在大規模探索中結合冷門文獻找出人類忽略的盲點。

然而，他也對科學界發出警訊：若過度依賴 AI 加速個別環節，可能導致人們「優化了錯誤的目標」。科學進步需要深層驗證，如同克卜勒的日心說初期誤差反而比地心說大，太急於以即時數據評估可能會扼殺真正的突破。

此外，若 AI 取代了研究生磨練基本功的入門研究，未來人類恐喪失審查與消化知識的能力，反而使整體科學發展陷入停滯。

環遊數界