25位菲爾茲獎得主聯合警告：AI與數學正在出現“嚴重錯位”

文章摘要：

AI開始能夠解決越來越難的嚴重錯位數學問題之后，一批世界頂尖數學家卻發出了警告：如果AI越來越快地給出答案，位菲數學可能失去一些比答案更重要的爾茲開云在線登錄入口官網東西。

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

25位菲爾茲獎得主聯合發表聲明

陶哲軒當天在個人博客“What’s new”發布了聲明全文。他介紹，學正這份聲明源于25位菲爾茲獎得主過去一周的出現討論。由于認為當前問題具有緊迫性，嚴重錯位開云在線登錄入口官網他們沒有等待更長時間進行更廣泛的位菲協商，而是爾茲決定盡快公開發表聲明。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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