AI接連推翻數學猜想，人類還能守住菲爾茲獎嗎？

　　“本屆菲爾茲獎，將是人類最后一次拿下這項數學最高榮譽？”這個論斷你相信嗎？在王虹、鄧煜歷史性拿下菲爾茲獎的時候，大會還深入探討了一個非常關鍵的問題：迅猛發展的AI究竟會不會取代數學家？國際數學家大會現場，繼丘成桐后第二位獲菲爾茲獎的華裔數學家陶哲軒當眾敲響百年警鐘：AI正在引爆數學界前所未有的“價值觀危機”。

　　會場外，AI接連推翻懸置數十年的雅可比猜想、埃爾德什單位距離猜想，IMO國際奧數賽場，AI直接交出滿分答卷。兩個靈魂拷問撲面而來：AI真的會徹底取代數學家嗎？我們普通人還有沒有必要死磕數學？全釋硬科技，我們來一探究竟。

　　AI究竟是怎么做數學題的呢？

　　普通AI像是一個“猜題高手”，比如說我們平時用的大語言模型，本質上還是依靠概率。它通過海量訓練數據，計算出概率最高的答案。但這本質是“猜”，有時會產生看似合理實則錯誤的“幻覺”。而在國際數學奧林匹克競賽上拿滿分的AI，在概率模型的基礎上，外加多個智能體分工協作解題，答完題后，還能讓計算機像檢查程序bug一樣，把證明步驟從頭到尾驗證一遍，保證絕對正確，徹底消滅了“幻覺”的可能。

　　但是在競賽上拿滿分，并不代表AI能取代數學家。我們先要搞清楚一件事：數學家的工作，到底是什么？競賽題目再難，答案也是已知的。而數學家最主要的工作是：自己提出問題、創造新概念、證明定理、引理、推論，進而搭建數學邏輯大廈。

　　那AI在數學中到底扮演什么角色呢？我們梳理了一下，至少有三大功能。

　　首先，AI可以作為數學家的“探路者”。

　　雖然目前AI在多數情形還無法獨立證明前沿猜想，但它可以幫數學家判斷研究方向。證實一個猜想，需要漫長復雜的推導；但只要找到一個“反例”，就能立刻宣告此路不通。好比人們曾以為“所有天鵝都是白色”，但只要發現一只黑天鵝，整個論斷就被徹底推翻，再也不必滿世界去尋找白天鵝。今年數學家就通過AI，找到了雅可比猜想和埃爾德什單位距離猜想的“黑天鵝”，從而證明了原猜想是錯誤的。AI的大規模計算探索，能快速排除那些走不通的路線，避免數學家耗費幾年甚至幾十年，在錯誤的道路上埋頭苦干。

　　其次，AI還可以作為數學家的“外置大腦”。

　　AI是一個“數學通才”，腦子里裝著從數論到拓撲、從幾何到代數的全部知識，可以跨越不同數學分支領域審視同一個問題——這往往是高度專業化的數學家很難做到的。今年5月，OpenAI推翻埃爾德什單位距離猜想，用的就是數論中的方法來解決幾何空間的問題，這種跨領域的視角對傳統思維定式形成了“降維打擊”。

　　最后，AI還能跨越時間，尋找解決自然科學問題的鑰匙。

　　數學有一個迷人的特質：它的理論往往超前于現實。許多數學成果在誕生的那一刻，只是純粹的“思維游戲”，直到數十年甚至上百年后，才突然成為自然科學的關鍵工具。比如最初看似毫無用處的黎曼幾何，在誕生六十多年后，愛因斯坦才發現它正是解決廣義相對論的數學工具。而今天，AI正在把這種“跨越世紀的等待”，壓縮成“即時的智能檢索”。它像一位數學考古學家，能在浩如煙海的塵封文獻中，尋找未來解決自然科學謎團的鑰匙。

　　聊完這些，我們可以相信，AI肯定會幫助數學更快發展。或許未來菲爾茲獎的研究成果里肯定會有AI的身影，但提出猜想、創造全新概念、搭建完整理論體系的還是人類數學家，唯有他們能觸碰數學真正的靈魂。AI擅長窮盡繁雜的計算，負責走完已知的邏輯；而人類，才是奔赴未知、開拓全新數學世界的先行者。