當AI能寫出「美麗的證明」，數學家還剩下什麼？

1998年，數學家安德魯·懷爾斯在證明費馬最後定理後，哭了。不是因為終於結束了七年的孤獨研究，而是因為那個證明——在他眼中——太美了。一個糾纏數學界三百餘年的謎題，在一套精密而優雅的論證下轟然倒塌。那種美感，他說，是語言無法描述的。

但現在，一個讓所有人都不舒服的問題正在浮現：如果AI也能寫出同樣「美麗」的證明，那懷爾斯的眼淚，究竟在為什麼而流？

數學家口中的「美」，是什麼意思

在數學的世界裡，「美麗的證明」是一個被廣泛使用卻難以定義的概念。匈牙利數學家保羅·埃爾德什曾說，最好的數學證明來自「上帝之書」——一本只收錄最完美論證的神聖典籍。數學家的工作，是去窺見其中一頁。

這種「美」通常包含幾個維度：簡潔性（用最少的步驟說明最多的事）、驚奇感（結論出乎意料卻又無可辯駁）、必然性（一旦看懂，便覺得「只能如此」）。當這些元素同時出現，數學家會產生一種近乎審美的愉悅——這種感覺跨越文化、語言與時代，在不同的數學傳統中反覆出現。

哲學家麗塔·阿哈馬迪在《Aeon》雜誌的文章中，將這個現象推向了更深的追問：這種美感，究竟是數學本身的屬性，還是人類認知的投影？數學柏拉圖主義者會說，數學對象獨立於人類意識而存在，美麗也是被「發現」而非被「發明」的。但形式主義者會反駁：數學不過是人類制定的符號遊戲，所謂美感，不過是文化與訓練的產物。

這場爭論已持續數百年。但AI的出現，第一次讓它變得緊迫而實際。

AI正在進入數學的核心地帶

2023年，DeepMind 的 AlphaProof 系統成功解答了國際數學奧林匹克（IMO）的部分題目，這是此前被認為需要人類頂尖數學直覺的領域。2024年，多個AI輔助證明系統開始出現在同行評審的數學期刊中。菲爾茲獎得主陶哲軒公開表示，他已將AI作為研究工具，並承認某些情況下AI的建議讓他「感到驚訝」。

這些AI系統的運作方式，是從海量的人類數學文獻中學習模式，再組合生成新的論證路徑。它們不需要「感受」美麗，只需要找到邏輯上成立的路徑。

廣告

廣告合作

[email protected]

廣告

問題在於：有時候，它們找到的路徑，人類數學家也覺得「美麗」。

這讓人不安。如果AI在沒有任何審美感受的情況下，也能生成被人類認定為「美麗」的證明，那「美麗」究竟是證明本身的特質，還是觀看者的感受？更進一步：如果美感只是人類的主觀反應，那它在數學認識論中扮演的角色，是否從根本上被高估了？

華人數學傳統中的「美」與「用」

在討論數學之美時，文化脈絡不可忽視。中國古代數學傳統——從《九章算術》到宋元時期的天元術——長期以實用性為核心。數學是丈量土地、計算稅賦、工程建造的工具，而非希臘式的純粹智識探索。

這並不意味著華人數學傳統缺乏美感，而是美感的表現形式不同。宋代數學家楊輝的三角形（即西方所稱「帕斯卡三角形」）早於帕斯卡數百年，其結構的對稱性與內在規律，同樣令人嘆為觀止。只是，那種美感更多地被包裹在「有用」的框架之內，而非被單獨提取出來討論。

在當代，中國大陸的數學教育以嚴格的訓練和競賽成績著稱，培養出大量IMO金牌得主。但批評者指出，這種體系傾向於訓練「解題機器」，而非培養對數學之美的感受力。諷刺的是，這種批評與「AI只會解題、不懂美感」的批評，在結構上幾乎完全相同。

台灣、香港及海外華人社群的數學教育，則呈現更多元的面貌，在競賽訓練與數學人文素養之間尋求平衡。這種差異，或許反映了不同社會對「數學是什麼」這個問題的根本性分歧。

如果美感是幻覺，我們失去的是什麼

退一步說，即便數學之美是純粹主觀的，它也並非毫無功能。法國數學家龐加萊曾指出，數學創造的本質是從無數可能的組合中選擇有價值的那個，而這種選擇，正是由美感驅動的。醜陋的數學路徑往往是錯誤的；美麗的路徑往往指向真理——不是因為宇宙偏愛美麗，而是因為人類的認知在漫長演化中，學會了用「美感」作為識別深層結構的捷徑。

如果AI能夠在沒有這種美感捷徑的情況下，直接搜索正確答案，那麼問題就變成了：人類依賴美感這條捷徑，究竟是優勢還是局限？

更令人不安的是一個長遠的問題：AI目前的能力，建立在人類數千年積累的數學美學判斷之上。它學習的，是人類認為「值得記錄」的證明——而這種篩選，本身就是美感在起作用。如果未來的數學完全由AI生成，這個美學遺產將逐漸稀薄，AI的訓練資料將越來越多地包含AI自己的輸出。那時，數學將走向何方？

沒有人知道答案。