森多夫猜想也傳被 AI 攻破？一條知乎提問，把數學圈和新聞圈的興奮混在一起了

先把時間點說清楚：這波討論發源於知乎上一條提問，主旨是「如何看待大量有名有姓的數學猜想被 AI 解決」，並點名森多夫猜想（Sendov’s Conjecture）傳出由 AI、Lech Mazur 與陶哲軒方面推進，同時提到雅可比猜想、DGG 猜想、艾狄胥單位距離猜想等近期也傳出進展。提問走紅是近期的事，但裡面提到的個別猜想，各有各自的時間線，有些進展尚待正式論文與同儕審查確認。所以這篇文章不急著宣布「數學已被 AI 拿下」，而是把這場討論裡幾個大家最想問的問題，一條一條拆開來看。

問一：森多夫猜想到底被誰解了？

這是目前討論裡最混亂的一環。網傳說法把 AI、Lech Mazur、陶哲軒三個名字綁在一起，聽起來像一個夢幻團隊聯手通關。但把來源拆開看，事情更接近這樣：森多夫猜想是復變函數論裡一個掛著人名的老問題，關於多項式臨界點與根的分布關係，從一九六〇年代提出至今超過一甲子，中間有過多次部分進展，許多頂尖數學家都碰過它。

至於「已被攻破」這四個字，目前在數學社羣裡仍屬於傳聞層級。這類消息的標準流程是：論文先掛上預印本平臺，同行開始逐行檢查，幾個月後才會有相對可靠的共識。網路討論跑得永遠比驗證快，這是每一波「某某猜想被解」消息的共同劇本。陶哲軒本人過去確實多次公開談論 AI 輔助證明的潛力與局限，他也是極少數願意把工作過程攤在部落格上讓大家看的主流數學家，這大概是他的名字容易被捲進各種傳聞的原因。

問二：為什麼大家特別在意「有名有姓」這四個字？

因為名字就是這些猜想的履歷。費馬大定理、龐加萊猜想、黎曼假設，這些掛著人名的問題，每一個都背著幾十年甚至幾百年的嘗試紀錄。數學圈有一種說法：一個猜想愈老、被愈多高手碰過還沒倒，它的「段位」就愈高。所以當傳聞說 AI 密集攻克雅可比猜想、DGG 猜想、艾狄胥單位距離猜想這類等級的題目，等於是說一個新選手連續挑落好幾位衛冕者，新聞感自然爆炸。

但這裡有個容易被忽略的細節：「攻克」在不同報導裡指涉的東西可能完全不同。有的是完整證明，有的是證明了某類特殊情形，有的是把原有界線推進了一步。雅可比猜想這種題目，歷史上宣稱解開又撤回的論文可以堆成一疊，數學界對「聲稱解開」本來就有一套謹慎的消化流程。AI 加入後，這套流程沒有變快多少，因為最耗時的部分從來都是查證，而查證目前仍然要靠人。

問三：AI 在這些進展裡扮演的角色是什麼？

從近幾年已經被確認的案例看，AI 在數學裡的角色比較像一個不知疲倦的搜尋與試錯助手。它可以生成大量候選證明路徑、檢查繁瑣的計算細節、在巨大的案例空間裡找出反例或規律。這對某些類型的組合問題特別有效，因為那類問題的本質就是窮舉與構造，機器最擅長的正是這件事。

相對地，需要全新概念框架的問題，目前仍主要由人類主導。一個常見的分工是：AI 負責在既定規則內跑得比人快，人類負責決定規則本身要不要換。這也是為什麼許多數學家對 AI 的態度是務實的歡迎，而非職業恐慌。工具變強，值得解的問題反而更清楚了。

這種「工具先進場、規則後重估」的節奏，和創作圈最近的震盪有些相似。起點中文網大規模撤下疑似 AI 小說時，網文圈經歷的正是同一類辯論，差別只在數學的驗收標準更硬，作品的真假對錯最終總有算得出來的一天。可以參考我們先前的整理：起點那波斬殺 AI 文的社羣討論。

問四：知乎這條提問為什麼會紅？

因為它精準踩中了兩種情緒的交會點。一種是「AI 又贏了」的科技焦慮，這幾年被各種模型升級新聞反覆餵養，大家已經養成了看到 AI 字眼就先繃緊的反射。另一種是數學科普的浪漫，艾狄胥、陶哲軒這些名字在華文社羣本來就自帶流量，一個是傳奇怪咖的代名詞，一個是「現存最聰明腦袋」的常見候選，兩個名字出現在同一則傳聞裡，討論區不熱也難。

還有一層原因更隱性：數學向來被視為人類智識的最後堡壘之一。下棋輸了、繪畫輸了、寫作輸了，多數人還能安慰自己「那不算核心」。但猜想被解，觸及的是「思考本身會不會被取代」這個更根本的問題。所以這條提問下面的留言，表面在討論森多夫猜想，實際在討論的東西要大得多。

問五：一般旁觀者該用什麼姿勢看這則新聞？

三個建議。

第一，區分「掛出論文」和「被承認解開」。在正式期刊發表或社羣形成共識之前，一切都算候選答案，這在數學圈是常識，在社羣傳播裡卻經常被跳過。

第二，看清楚是誰做的、用了什麼工具。「AI 解決」和「人用 AI 輔助解決」是新聞標題裡最常被混為一談的兩件事，後者在目前的已確認案例裡佔絕對多數。

第三，允許自己興奮，但把興奮放在對的地方。真正值得圍觀的，也許不是哪個猜想倒了，而是一種新的協作方式正在成形：人類出問題意識，機器出窮舉力氣，查證仍由人類把關。這齣戲才剛開演，名單上那些掛著人名的老猜想，未來幾年大概會一個一個變成新聞。

至於森多夫猜想本身，等論文和驗證結果塵埃落定，它無論是被解開、被部分解開，還是又一次虛驚，都會是下一輪熱鬧討論的開場白。