位菲掉數學告出警爾茲獎得主聯正毀合發

　　AI開始能夠解決越來越難的位菲數學問題之後，一批世界頂尖數學家卻發出了警告：如果AI越來越快地給出答案，尔兹數學可能失去一些比答案更重要的主联I正東西。

　　當地時間9月11日，合发毁掉陶哲軒、数学鄧煜、位菲彼得·舒爾茨（Peter Scholze）等25位菲爾茲獎得主作為最初簽署人，尔兹聯合發表聲明《人工智能在數學中的主联I正嚴重錯位》（A Severe Misalignment of AI in Mathematics），警告AI公司與數學共同體之間正在出現“嚴重錯位”。合发毁掉

　　陶哲軒當天在個人博客“What’s new”發布了聲明全文。数学他介紹，位菲這份聲明源於25位菲爾茲獎得主過去一周的尔兹討論。由於認為當前問題具有緊迫性，主联I正他們沒有等待更長時間進行更廣泛的合发毁掉協商，而是数学決定盡快公開發表聲明。

　　這份聲明沒有否認AI在數學上的進步，首先承認了一個正在發生的變化：過去幾個月，大語言模型的數學能力出現顯著提升，已經能夠解決多個數學領域的重要未決問題。

　　但問題也由此出現。25位數學家認為，AI公司正在把解決數學問題作為衡量模型能力的基準，而數學共同體真正追求的，並不是盡可能快地得到一道題的答案。

　　“AI公司的目標與數學共同體的目標存在嚴重錯位。”聲明稱，AI公司推動模型解決數學問題以作為能力基準的做法，可能損害數學研究以及數學共同體。

　　在這些數學家看來，一個著名數學問題之所以重要，並不隻是因為最後能夠得到“對”或者“錯”的結論。

　　長期以來，重要的未解問題更像數學世界中的“地標”和“燈塔”。一個問題被解決，通常意味著研究者發現了新的洞見、方法或者概念。隨後，這些成果還需要經過數學家之間的報告、討論和不斷簡化，最終才可能變成研究生甚至本科生能夠理解的教材內容。一些數學思想甚至要經過幾十年乃至幾百年，才會成為被更廣泛使用的工具。

　　公開信強調，“解決問題隻是實現概念理解和洞察這一首要目標的工具和代理指標”。

　　這也是25位數學家最擔憂AI競賽的地方。當AI公司不斷以“解決了多少此前未解的問題”衡量模型進展時，原本用於衡量數學理解程度的指標，可能反過來成為被機器快速優化的目標。

　　聲明警告，以越來越快的速度批量生產“真/假”結論，可能不是在孕育新的思想，反而可能摧毀孕育思想的沃土。

　　速度帶來的另一個問題是，數學成果本身需要時間被理解。

　　聲明稱，一些AI產生的解答被匆忙宣布，沒有留下足夠時間完成規範的論文寫作、提煉其中真正的新方法和新思想，以及引用其他研究者此前的相關工作。這也由此帶來了嚴重的成果歸屬和抄襲問題。

　　即便AI能夠產生正確而新穎的數學思想，25位數學家認為，人類數學家的工作也沒有因此結束。如果沒有數學家繼續發展這些思想，並將其整合進數學知識體係，AI產生的思想也無法真正“活起來”，數學家之間至關重要的知識傳承鏈條也可能隨之丟失。

　　比“AI能不能做數學”更深一層的擔憂，是數學家如何被培養出來。

　　公開信稱，數學這個職業最寶貴的資源是學生和思想。數學家給學生布置問題，並不隻是希望他們得到答案，更重要的目的之一，是讓他們在解決問題的過程中發展研究所需要的能力。數學思想同樣需要通過報告、私人討論和嚴謹寫作不斷傳播，並與此前的研究建立聯係，而這些過程都需要時間和人與人之間的互動。

　　當AI能夠越來越快地直接產出最終結果時，問題因此發生了變化：如果答案可以直接獲得，人類是否還會經曆那些形成理解、提出新問題和產生新思想所需要的訓練過程？

　　25位數學家因此把這場爭論進一步擴展到了數學之外。

　　“我們正在目睹一種對智力勞動的普遍威脅。”聲明稱，在許多領域，過去多年的專業訓練不僅是為了生產最終答案或產品，也是為了發展理解能力，以及提出新問題和新思想的能力。但建立在人類此前積累的大量知識之上，AI係統正在越來越有能力直接產生這些工作的結果，由此造成了目標之間的錯位。

　　不過，這份聲明並沒有主張拒絕AI。

　　25位數學家明確表示，AI具有加強和加速真正數學研究與理解的潛力，數學這一職業也需要適應由此帶來的變化。真正尚未確定的是，這種變化最終會推動數學發展，還是產生破壞性影響，而結果在很大程度上取決於掌握這項技術的人如何作出選擇。

　　這也讓數學界正在討論的問題，從“AI能否解決人類數學家解決不了的問題”，逐漸轉向另一個更基礎的問題：當機器越來越擅長給出答案，人類究竟希望從數學研究中得到什麽？

　　25位菲爾茲獎得主在聲明最後呼籲，數學共同體、開發AI技術的公司以及整個社會都需要盡快麵對這一問題。聲明還提醒，當AI改變工作的完成方式時，不能因此忘記這些工作最初究竟希望實現什麽。