陶哲軒、鄧煜等菲爾茲獎得主“開炮”：AI正毀掉數學

多位菲爾茲獎得主近日公開表態，對人工智慧在數學領域的過度滲透表達強烈憂慮。其中，2006年菲爾茲獎得主陶哲軒，以及另一位與他同獲此項殊榮的數學家鄧煜，共同將矛頭指向AI，直言這項技術正在「毀掉數學」。這番言論迅速在學術界與科技圈引發軒然大波，也讓外界開始重新審視AI工具對基礎科學研究的深層影響。陶哲軒長期以來被視為當代最具影響力的數學家之一，他在數論、調和分析與偏微分方程等領域的貢獻有目共睹。而鄧煜同樣以嚴謹的邏輯與開創性工作聞名。兩人在不同場合與學術交流中，都不約而同指出當前AI工具被大量用於解題、推導甚至論文撰寫，可能讓年輕數學家逐漸喪失獨立思考與直覺訓練的機會。

他們認為，數學的本質不僅是得出正確答案，更在於探索過程中所培養的抽象思維與創造力。這份批判並非全盤否定AI的價值。陶哲軒過去也曾使用機器學習輔助進行猜想驗證與模式識別，但他始終強調，工具應當服務於人的思考，而非取代思考。他擔憂，若學生與研究者習慣直接從AI獲得結論，將不再願意花費時間與心力去反覆推敲證明中的關鍵邏輯環節，長此以往，數學研究的深度與原創性都可能被侵蝕。鄧煜則從更宏觀的視角分析，指出當前大型語言模型與符號計算系統的普及，正在改變數學界知識生產與傳播的方式。過去，一項重要的定理證明往往需要數年甚至數十年的持續鑽研，而現在，許多問題可以透過AI快速獲得近似解或完整推導。

這雖然提高了效率，卻也削弱了數學社群對「正確性」與「優美性」的共同標準。他警告，若缺乏對AI生成內容的批判性審視，數學將淪為「機械化的驗證遊戲」。兩位菲爾茲獎得主的發言並非孤立事件。近年來，包括神經網路證明定理、自動化符號運算以及AI輔助猜測生成等技術迅速發展，確實為數學研究帶來了前所未有的便利。然而，也有越來越多學者開始反思：當我們把最困難的證明任務交給AI時，數學家自身的定位與價值何在？數學作為一門仰賴人類智慧的學科，其核心是否還能保持不變？在學術會議與社群討論中，類似的擔憂早已存在。

一些頂尖大學的數學系教授觀察到，學生在面對複雜證明題時，越來越傾向於直接使用AI工具取得答案，而非嘗試自己拆解問題。這導致作業與考試中的原創思路明顯減少，教師也難以判斷學生的真實理解程度。數學教育的基礎——邏輯推演與嚴謹論證——正面臨前所未有的挑戰。當然，也有學者持不同看法。他們認為AI只是工具，關鍵在於如何使用，不應因噎廢食。數學史上從計算尺、計算機到數學軟體的出現，每一次技術革新都曾引發類似討論，最終並未摧毀數學，反而推動了新的研究方向。這些學者主張，與其抗拒AI，不如主動將其融入數學教育與研究，培養下一代的「人機協作」能力。

然而，陶哲軒與鄧煜的觀點之所以引發廣泛共鳴，正是因為他們站在數學最頂尖的位置，對學術生態的變化有著敏銳的感知。他們並非反對技術進步，而是希望數學界能在擁抱AI的同時，保留住那些無法被機器複製的、屬於人類的數學直覺與創造火花。這場辯論，其實關乎數學作為一門藝術與科學的未來命運。目前，數學界尚未形成統一的立場。部分學會與研究機構已開始制定AI使用指南，要求論文清楚標明AI輔助的範疇，並提醒研究者勿將AI生成的結果視為定論。與此同時，也有團隊正開發專注於數學的AI工具，試圖在保持嚴謹性的前提下，提升研究效率。這場由菲爾茲獎得主點燃的討論，短期內不會平息，長遠來看，它可能深刻改變數學研究的文化與規範。

陶哲軒與鄧煜的「開炮」，或許正是數學界在關鍵轉折點上的一次集體清醒。當AI的腳步越來越快，數學家們能否在技術浪潮中守住學科的根本價值，將決定未來數十年數學研究的走向。而這場對話，才剛剛開始。