本文來自微信公眾號： 谷雨星球 ，作者：卷卷兔，原文標題：《突發(fā)！陶哲軒、鄧煜等25位數(shù)學(xué)家，聯(lián)名向AI公司「宣戰(zhàn)」》
大家好，我是卷卷兔。
昨天，數(shù)學(xué)領(lǐng)域發(fā)生了一件可能會計入史冊的大事。
陶哲軒、鄧煜等25位菲爾茲獎得主，發(fā)布了一份措辭罕見嚴厲的緊急聲明：《人工智能與數(shù)學(xué)的嚴重錯位》。
通俗理解就是，AI公司正在嚴重「侵入」數(shù)學(xué)研究的邊界，甚至毀掉數(shù)學(xué)。
這可能是史上第一次，人類最聰明的大腦，集體對AI發(fā)起「宣戰(zhàn)」。
■陶哲軒說，這份聲明原本來不及進行更充分的討論，但他們認為事情太緊急，必須立刻發(fā)出來
數(shù)學(xué)家在反對什么？
9月8日，OpenAI宣布：一個尚未公開的內(nèi)部AI模型，給出了「納維—斯托克斯方程」千禧年大獎難題的解答。
這是什么級別的突破？
千禧年大獎難題一共只有7道，被稱作數(shù)學(xué)界最難攻克的堡壘，每解開一道，就能獲得100萬美元獎金。過去20多年里，只有一道被人類解決過。
而這一次，據(jù)公開報道，OpenAI調(diào)動了約1萬個AI智能體，在不到4天里完成了證明，又用形式化工具驗證。
而這道題，其實和剛剛獲得菲爾茲獎的鄧煜有點關(guān)系。
他的獲獎工作，是打通了「從牛頓硬球動力學(xué)，到玻爾茲曼方程，再到納維—斯托克斯方程」的一整條推導(dǎo)鏈，嚴格說那屬于希爾伯特第六問題，和千禧年難題不是同一道題，但通向的是同一個方程。
一個人用十幾年走完的一條路，兩個月后，AI在同一個方程上，用四天沖過了另一條終點線。
而這一次，他也在聲明上簽了字。
■希爾伯特和他的23個問題
很多人可能會疑惑，數(shù)學(xué)難題被更快突破，這不是好事嗎，為什么數(shù)學(xué)家要反對呢？
其實，就在OpenAI公布結(jié)果前，紐約大學(xué)數(shù)學(xué)家Tristan Buckmaster和在Anthropic工作的數(shù)學(xué)家Levent Alp?ge，也正在沿著相近方向推進研究。
他們提出質(zhì)疑：
OpenAI是否在得知他們尚未公開的研究進展后，憑借巨大的算力優(yōu)勢搶先沖過終點？
他們此前使用過Codex輔助研究，這些私人工作有沒有以某種方式影響模型？
原創(chuàng)思想、證明結(jié)果和學(xué)術(shù)署名，又到底該屬于誰？
說白了，陶哲軒等數(shù)學(xué)家其實不反對「AI參與數(shù)學(xué)」，當然也不是害怕AI搶飯碗，畢竟陶哲軒自己就是AI重度用戶。
他們反對的是，科技公司把攻克數(shù)學(xué)難題變成證明模型能力、爭奪市場聲量的「跑分比賽」。
數(shù)學(xué)家們也沒有夸張，早有媒體揭露，AI行業(yè)認定，攻下數(shù)學(xué)這塊「客觀真理」的陣地，是說服投資人相信自己正走在超級智能路上的最好方式。
就像一家專做數(shù)學(xué)的AI創(chuàng)業(yè)公司，slogan就四個詞：Solve math,solve everything，解決數(shù)學(xué)，解決一切。
數(shù)學(xué)家們又為什么會那么在乎「人工解題」這個過程？舉個例子大家就明白了。
過去，一個著名難題像一座燈塔。人類解決它，不僅是為了得到一個「對」或「錯」，更是在漫長摸索中發(fā)現(xiàn)了什么新方法、理解了什么新結(jié)構(gòu)，又提出了哪些更好的問題。
更重要的是，數(shù)學(xué)家們在意的是，一個結(jié)論從誕生開始，如何經(jīng)過講座、討論、質(zhì)疑、簡化和嚴謹寫作，成為人類共同的知識，變成研究生甚至本科生能夠理解和繼續(xù)使用的東西。
但AI「嗖」地一下就完成了，跳過了這條漫長的「人類知識鏈」，大規(guī)模生產(chǎn)一個個已經(jīng)被形式化驗證、卻暫時沒有人真正理解的結(jié)論。
就像聯(lián)署聲明里那句嚴肅的警告：
「如果忘記解題只是通往理解的工具，越來越快地批量生產(chǎn)‘真/假’結(jié)論，可能不是在為新思想注入生命，而是在摧毀孕育新思想的土壤」。
所以，當他們發(fā)現(xiàn)本應(yīng)純粹的數(shù)學(xué)研究，被卷入AI公司搶用戶、爭名利的商戰(zhàn)，而且AI竟然直接給了結(jié)論，沒有生產(chǎn)新知識，說話就不太客氣了。
今年夏天的國際數(shù)學(xué)家大會現(xiàn)場，數(shù)學(xué)家Srikanth Iyengar說的是：「他們不在乎美，不在乎真，他們只在乎錢?！?/p>
■陶哲軒一直非常關(guān)心人類在數(shù)學(xué)領(lǐng)域還有多少空間，早在2年前，我們追蹤過陶哲軒對AI的評價，這篇文章也被超10萬的讀者看見了
兩個菲爾茲獎得主的選擇
不知道是不是巧合，就在陶哲軒聯(lián)合聲明發(fā)布前一天，《科學(xué)美國人》也刊出了一篇長文，標題只有一個問題：
如果AI已經(jīng)會做數(shù)學(xué)，數(shù)學(xué)家還有什么意義？
這篇文章寫到，今年夏天的國際數(shù)學(xué)家大會上，陶哲軒罕見地把當下稱為一場「數(shù)學(xué)價值觀與實踐的危機」。
麻省理工學(xué)院數(shù)學(xué)家Andrew Sutherland則說，數(shù)學(xué)家可能只是許多職業(yè)進入AI時代之前，礦井里的那只金絲雀。
而這場危機，在今年夏天的頒獎臺上就已經(jīng)有了第一個答案。
今年的菲爾茲獎獲得者中，除了我們熟知的鄧煜、王虹，另一位叫Jacob Tsimerman，因為數(shù)論與幾何交叉領(lǐng)域的開創(chuàng)性工作獲獎。
在獲獎?wù)哂浾邥希粏柕紸I時，他宣布了一件讓全場嘩然的新消息：他要離開數(shù)學(xué)，去OpenAI做AI安全。
這個決定可能也不是一時沖動，他此前寫過一份「分類目錄」，把AI可能導(dǎo)致人類滅絕的各種路徑一條條列了出來。他想進到這個行業(yè)內(nèi)部，給它裝上護欄。
對于這個「離經(jīng)叛道」的選擇，不少人說這是背叛，說他在嚇唬年輕人，還有人說把菲爾茲獎頒給一個即將離開研究的人是個錯誤，因為這個獎設(shè)立的本意，本來就是讓年輕天才能安心做一輩子數(shù)學(xué)。
有一位數(shù)學(xué)家就在演講開場，引了MIT數(shù)學(xué)家惲之瑋的一句話：
「作為數(shù)學(xué)家，我在乎的不只是最終的結(jié)果，還有那段旅程。AI正在摧毀我的旅程」。
Jacob自己倒是很平靜：「我想打破一個禁忌，認為一件事因為可怕就不該被拿出來談，這是錯的」。
其實數(shù)學(xué)家上一次這樣集體動搖，是在1900年。
那時他們突然發(fā)現(xiàn)，自己這門學(xué)科的最核心處坐著一堆悖論，幾個世紀蓋起來的客觀真理大廈，地基居然是松的。
陶哲軒后來在一次演講里說，那一次「很創(chuàng)傷，但我們最后得到了非常寶貴的東西」，也正是在那次動搖之后，希爾伯特提出用「公理」重建地基，今天絕大多數(shù)數(shù)學(xué)家才能確信自己的證明從真開始、到真結(jié)束。
陶哲軒說，「我們現(xiàn)在正進入一個類似的動蕩時期，我們必須認真想一想自己的文化和實踐」。
但他最后依然相信數(shù)學(xué)，加了一句：我們這門學(xué)科會變得更健康、更有韌性。
■《科學(xué)美國人》的報道里描述了陶哲軒的采訪，「他說話聲音溫和，常常低著頭、閉上眼睛，從那顆被人敬仰的大腦的某個角落里，小心翼翼地把每一個詞挑出來。但那天晚上，他說出口的好幾個詞，都是罕見的沉重」
但也在上周，同樣是今年的菲爾茲獎得主，鄧煜發(fā)了一條朋友圈，傳遍全網(wǎng)，也緩解了我的焦慮。
「最近我接觸到的數(shù)學(xué)界彌漫著一股浮躁不安的氛圍……無論未來會如何，其實焦慮是沒必要的。既然AI迭代的時間尺度明顯小于人類社會的時間尺度，那過一兩年等這一波wavefront過去，事情也就明晰了。
數(shù)學(xué)界自然會慢慢適應(yīng)，新的生態(tài)也會逐漸形成」。
末了他還發(fā)出了持續(xù)的好奇：
「我也是真的很好奇AI的上限到底在哪里。任何一個PDE理論上你都能提無窮多個問題，singularity的存在性只是最基本的，那它們在所有解空間的測度呢？（余）維數(shù)呢？拓撲性質(zhì)呢？完全分類呢？」
至于AI萬一真把這些全解決了怎么辦，他的原話是：「有生之年能見證神跡那我也不虧了，接下來無非回家好好寫我的百合小說就是」。
兩個站在頂峰的數(shù)學(xué)家，一個人走了，一個選擇留下。沒有誰對誰錯，他們只是各自做了判斷。
而這大概就是人類數(shù)學(xué)家依然存在的意義。一道難題被解開，并沒有讓問題變少，反而讓追問和好奇變多了。
■這句玩笑后來被傳成了「中國菲爾茲獎得主宣布退出數(shù)學(xué)、改寫言情小說」，逼得他專門跟《南華早報》澄清：那句完全是開玩笑，他并不認為AI能解決所有數(shù)學(xué)問題。
我們的孩子為什么要親自學(xué)知識？
寫這篇稿子的時候，我正在上海外灘大會的現(xiàn)場。
我圍觀了機器人在藥房抓藥、在流水線分揀、在車間巡檢，幾乎每一個展臺都在拼命展示，AI還能替人做什么。
但讓我停下來的，是一場關(guān)于教育的分享，叫做《認知增強，還是認知外包？AI時代的教育選擇》，它回答了另一個問題：
還有什么認知任務(wù)，是必須人+AI一起做才能更好的？
北京大學(xué)的汪瓊教授站在臺上，大屏幕上打出了一句話，「AI時代，知識<能力<元認知」，但后面標著醒目的一個字：誤。
下面跟著四條被標為「真」的判斷：
有些知識還是要記憶要背誦，才能在日常中流利自動使用；
找到知識不意味著會恰當使用；
批判性思維在具體學(xué)科情境中才能習(xí)得；
對學(xué)科基本邏輯的認識，影響指揮AI的成效。
和數(shù)學(xué)家們擔心的「AI跳過理解直接給結(jié)論」一樣，汪教授提醒的，也是「不要讓孩子跳過知識，直接要能力」。
汪教授還提到了「和AI一起學(xué)習(xí)」到底該長什么樣。
第一步：學(xué)生先想，AI再反饋。順序一旦反過來，整件事就作廢了。
這就是認知增強和認知外包的分界線，AI得在人類親自思考以后再用。
第二步更有意思：同一個話題，孩子先寫，AI批；然后AI寫，孩子批。它的言外之意是，要挑出AI的毛病，他必須先真的懂。
這個過程，在學(xué)習(xí)科學(xué)里有一個學(xué)術(shù)名稱「生產(chǎn)性失敗」：先自己掙扎一遍，再聽講解，理解得更深，也更遷移得動。
提出這個理論的Manu Kapur匯總了53項研究，其中蘇黎世聯(lián)邦理工一門650人的線性代數(shù)課上，課前先「失敗」過的學(xué)生，通過率高了20%。
你也可以回想一下，自己這輩子記得最牢的東西，是不是都是當年卡了很久、繞了遠路、最后自己轉(zhuǎn)過彎親自想明白的那些？
還有一個和直覺相反的數(shù)據(jù)，可能會給大家定心丸。我們害怕的「AI替代一切」，并不是以消失的方式發(fā)生的。
普華永道今年分析了全球超過10億條招聘信息，發(fā)現(xiàn)了一個奇怪的分岔：
那些最受AI影響的初級崗位，不但沒有消失，2019年以來還增長了35%；而受AI影響小的初級崗位，反而降了10%。
但它們的要求徹底變了。這些崗位要求判斷力、創(chuàng)造力、當面溝通這類「過去屬于資深人員」的能力，可能性是其他初級崗位的7倍。
翻譯一下就是：AI吃掉的不是工作，是練習(xí)。
過去，一個年輕人可以在打雜里犯小錯、被罵幾句、慢慢長出判斷力?，F(xiàn)在打雜那部分AI干了，公司卻要求他一進門就已經(jīng)有判斷力。
那判斷力的養(yǎng)成，就只能往前推，在孩子還在上學(xué)、還允許犯錯、而且犯錯還不要錢的那些年里，允許它慢慢長出來。
所以，我們的孩子當然還要親自學(xué)數(shù)學(xué)，也要親自讀寫、做實驗，經(jīng)歷那些AI幾秒鐘就能替他跨過去的困難。
■一個新消息是，OpenAI剛剛退出了加州理工一場AI數(shù)學(xué)競賽的贊助
2300多年前，托勒密國王問歐幾里得，學(xué)幾何有沒有一條更快的路。歐幾里得回答他：幾何無王者之路。
今天，AI看起來終于把那條路修好了。但走上去才發(fā)現(xiàn)，這條路只通向一個金光閃閃的答案，中間的路上什么風景也沒有。
那群一起發(fā)聲明的數(shù)學(xué)家，只是比普通人提早看到了這一點。
作為家長，我支持這場宣戰(zhàn)。但這場仗，數(shù)學(xué)家替我們打不完，還有一個更重要的問題需要我們自己想：
旁邊那條舊的、慢的、會走錯的路，我們愿不愿意親自陪孩子走一遍？