AI開始能夠解決越來越難的位菲數(shù)學(xué)問題之後，一批世界頂尖數(shù)學(xué)家卻發(fā)出了警告：如果AI越來越快地給出答案，爾茲數(shù)學(xué)可能失去一些比答案更重要的主聯(lián)I正東西。

　　當(dāng)?shù)貢r(shí)間9月11日，合發(fā)毀掉陶哲軒、數(shù)學(xué)鄧煜、位菲彼得·舒爾茨（Peter Scholze）等25位菲爾茲獎(jiǎng)得主作為最初簽署人，爾茲聯(lián)合發(fā)表聲明《人工智能在數(shù)學(xué)中的主聯(lián)I正嚴(yán)重錯(cuò)位》（A Severe Misalignment of AI in Mathematics），警告AI公司與數(shù)學(xué)共同體之間正在出現(xiàn)“嚴(yán)重錯(cuò)位”。合發(fā)毀掉

　　陶哲軒當(dāng)天在個(gè)人博客“What’s new”發(fā)布了聲明全文。數(shù)學(xué)他介紹，位菲這份聲明源於25位菲爾茲獎(jiǎng)得主過去一周的爾茲討論。由於認(rèn)為當(dāng)前問題具有緊迫性，主聯(lián)I正他們沒有等待更長時(shí)間進(jìn)行更廣泛的合發(fā)毀掉協(xié)商，而是數(shù)學(xué)決定盡快公開發(fā)表聲明。

　　這份聲明沒有否認(rèn)AI在數(shù)學(xué)上的進(jìn)步，首先承認(rèn)了一個(gè)正在發(fā)生的變化：過去幾個(gè)月，大語言模型的數(shù)學(xué)能力出現(xiàn)顯著提升，已經(jīng)能夠解決多個(gè)數(shù)學(xué)領(lǐng)域的重要未決問題。

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

　　“AI公司的目標(biāo)與數(shù)學(xué)共同體的目標(biāo)存在嚴(yán)重錯(cuò)位。”聲明稱，AI公司推動(dòng)模型解決數(shù)學(xué)問題以作為能力基準(zhǔn)的做法，可能損害數(shù)學(xué)研究以及數(shù)學(xué)共同體。

　　在這些數(shù)學(xué)家看來，一個(gè)著名數(shù)學(xué)問題之所以重要，並不隻是因?yàn)樽钺崮軌虻玫健皩?duì)”或者“錯(cuò)”的結(jié)論。

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

　　公開信強(qiáng)調(diào)，“解決問題隻是實(shí)現(xiàn)概念理解和洞察這一首要目標(biāo)的工具和代理指標(biāo)”。

　　這也是25位數(shù)學(xué)家最擔(dān)憂AI競賽的地方。當(dāng)AI公司不斷以“解決了多少此前未解的問題”衡量模型進(jìn)展時(shí)，原本用於衡量數(shù)學(xué)理解程度的指標(biāo)，可能反過來成為被機(jī)器快速優(yōu)化的目標(biāo)。

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

　　速度帶來的另一個(gè)問題是，數(shù)學(xué)成果本身需要時(shí)間被理解。

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

　　即便AI能夠產(chǎn)生正確而新穎的數(shù)學(xué)思想，25位數(shù)學(xué)家認(rèn)為，人類數(shù)學(xué)家的工作也沒有因此結(jié)束。如果沒有數(shù)學(xué)家繼續(xù)發(fā)展這些思想，並將其整合進(jìn)數(shù)學(xué)知識(shí)體係，AI產(chǎn)生的思想也無法真正“活起來”，數(shù)學(xué)家之間至關(guān)重要的知識(shí)傳承鏈條也可能隨之丟失。

　　比“AI能不能做數(shù)學(xué)”更深一層的擔(dān)憂，是數(shù)學(xué)家如何被培養(yǎng)出來。

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

　　當(dāng)AI能夠越來越快地直接產(chǎn)出最終結(jié)果時(shí)，問題因此發(fā)生了變化：如果答案可以直接獲得，人類是否還會(huì)經(jīng)曆那些形成理解、提出新問題和產(chǎn)生新思想所需要的訓(xùn)練過程？

　　25位數(shù)學(xué)家因此把這場爭論進(jìn)一步擴(kuò)展到了數(shù)學(xué)之外。

　　“我們正在目睹一種對(duì)智力勞動(dòng)的普遍威脅。”聲明稱，在許多領(lǐng)域，過去多年的專業(yè)訓(xùn)練不僅是為了生產(chǎn)最終答案或產(chǎn)品，也是為了發(fā)展理解能力，以及提出新問題和新思想的能力。但建立在人類此前積累的大量知識(shí)之上，AI係統(tǒng)正在越來越有能力直接產(chǎn)生這些工作的結(jié)果，由此造成了目標(biāo)之間的錯(cuò)位。

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

　　25位數(shù)學(xué)家明確表示，AI具有加強(qiáng)和加速真正數(shù)學(xué)研究與理解的潛力，數(shù)學(xué)這一職業(yè)也需要適應(yīng)由此帶來的變化。真正尚未確定的是，這種變化最終會(huì)推動(dòng)數(shù)學(xué)發(fā)展，還是產(chǎn)生破壞性影響，而結(jié)果在很大程度上取決於掌握這項(xiàng)技術(shù)的人如何作出選擇。

　　這也讓數(shù)學(xué)界正在討論的問題，從“AI能否解決人類數(shù)學(xué)家解決不了的問題”，逐漸轉(zhuǎn)向另一個(gè)更基礎(chǔ)的問題：當(dāng)機(jī)器越來越擅長給出答案，人類究竟希望從數(shù)學(xué)研究中得到什麼？

　　25位菲爾茲獎(jiǎng)得主在聲明最後呼籲，數(shù)學(xué)共同體、開發(fā)AI技術(shù)的公司以及整個(gè)社會(huì)都需要盡快麵對(duì)這一問題。聲明還提醒，當(dāng)AI改變工作的完成方式時(shí)，不能因此忘記這些工作最初究竟希望實(shí)現(xiàn)什麼。