燈塔原則:AI 時代的教育解答
TL;DR:二十五位菲爾茲獎得主——包括陶哲軒——本月簽署了一份標題大致為數學中人工智慧的嚴重錯位的聯合聲明。標題自成一格:數學家攻擊 OpenAI。閱讀聲明而非標題,這是一份更奇特、更重要的文件:它以祝賀人工智慧開始。簽署者的擔憂不是機器計算錯誤,而是機器在大規模上正確計算,並且當它這樣做時,人類可能什麼都學不到。這不是一份人工智慧安全的簡報,而是對於在自由答案時代教育未來的第一次嚴肅警報——因為當答案變得免費時,理解成為生產的稀缺因素,而我們所稱的學校教育是建立在相反的假設之上。
這裡是詹姆斯,水星科技解決方案的首席執行官。
香港——2026年9月
燈塔與燈泡
首先,清除稻草人:這些不是老人在捍衛一個公會。陶在數學的邊界模型上進行壓力測試的時間比幾乎所有活著的人都要長,在 YouTube 上展示了 AI 輔助的問題解決,並且——在他在博客上發佈警告的同一週——也發佈了明確歡迎 AI 工具的公開競賽規則。歡迎AI 工具。一個人不會守護他正在開放的領土。
這個聲明實際上說的是:最近幾個月,語言模型在多個數學領域破解了重大未解問題。被認可、驗證、祝賀。然後是沒有人問的問題:AI 做對了——那麼麻煩結束了嗎?
這個聲明的中心隱喻就是整個論點。外部人士將著名的未解問題——費馬、黎曼、雙質數——視為高峰:插上旗幟,遊戲結束。數學家們則將它們描述為燈塔。燈塔標誌著未探索的領土。幾代人朝著它航行,在航行中他們建造碼頭、儀器、導航方法——而這些在到達燈光後仍然為所有人所用。費馬最後定理在1994年被證明;在朝著它航行的三百五十年代數數論中建立的數學仍然是當今的承重數學。答案是一句話。旅程才是行業。
這篇在中文版本中流傳的文章用一句話說明了這一點,值得翻譯:照著燈塔找路,和直接把燈泡擰下來,是兩回事——導航由燈塔和擰下燈泡是兩種不同的事情。基準文化——跑分,將幾世紀的猜想視為手機的基準套件——是在大規模竊取燈泡。你只得到一次光。你永遠失去導航。
佩雷爾曼的鴻溝
最尖銳的表述並非來自這二十五位,而是來自他們聲明下的一則評論,該評論在報導中被引用:給我一個一千萬行的、機器驗證的雙質數猜想證明,我的知識將增加約零。我已經相信這是真的;我甚至大致知道為什麼。現在我額外知道 AI 證明了它。然後呢?
機器驗證和人類理解並不是同一產品。這裡聲明的隱含要點由歷史證明。在 2002–2003 年,格里戈里·佩雷爾曼在線上發佈了三篇草率的預印本,輪廓式的,步驟略過,沒有期刊,沒有精練的論證——解決了一個百年老問題,龐加萊猜想。答案在 2003 年是公開的、免費的且正確的。隨後是三年中一些最優秀的數學家進行實際工作的過程:填補每一步,重建數百頁的詳細論證,逐場研討會,直到大約 2006 年結果變得知識——一個社群可以依據此建立下一層。
稱之為佩雷爾曼的鴻溝:這是正確 和 理解。這需要三年的時間和世界上最優秀的頭腦來跨越這個鴻溝以獲得一個證明。這個鴻溝就是科學實際存在的地方——也是教育存在的地方,因為跨越的能力就是能力。人工智慧壓縮輸出,但不壓縮理解。人工智慧可以寫出證明;但無法為你閱讀它。
學生在思想之前
這個陳述中最激進的句子根本不是關於證明:它說,這個領域最珍貴的資源是 學生和思想 — 依此順序。學生,先於想法。
為什麼一個學科的專家會將學習者置於定理之上?因為每位數學家都知道而外人卻不懷疑的一種實踐:顧問故意指派學生解決顧問已經擁有答案的問題 — 有時是幾十年前就已經在文獻中解決的問題。答案從來不是交付的成果。交付的成果是學生在過程中所經歷的:撞牆、撞南牆、走冤枉路,也許在凌晨三點,突然看懂了。掙扎不是作業的成本。掙扎就是作業本身。
現在把答案放在桌上 — 免費、即時、正確,對每個人來說,永遠如此。作業的目的在接觸時就蒸發了。而這個陳述小心翼翼地說出每個誠實的人已經知道的事:這不是學生品格的失敗。一個問題讓你掙扎三天,而一台機器在三秒鐘內提供路徑 — 只有聖人會拒絕,而聖人卻是糟糕的研究者。失敗是結構性的。所有基於已知答案問題的評估 — 家庭作業、問題集、大多數考試、每個學位的一半 — 都默默地自我淘汰了。我們只是還沒有更新課程大綱來承認這一點。
這是應該在未來十年內支撐每個教育政策論點的反轉。九天前我寫過2%法則:在行業中,包圍火箭原材料的98%成本 — 流程、儀式、恐懼 — 是間接費用,而進步意味著刪除它。教育是唯一一個手術是致命的領域,因為在學習中,98%的掙扎不是間接費用。它是產品。答案現在是原材料,幾乎不需要成本。所有重要的東西都是在AI最擅長消除的過程部分中製造的。
新課程:AI答案之後的生活
那麼在佩雷爾曼的鴻溝另一邊,教育看起來是什麼樣子?不是學生與生產答案速度快上億倍的機器競賽。課程翻轉:
從寫答案到審核答案。新的核心素養是驗證:閱讀機器的證明,找出差距,檢查歸因,決定它是否具有普遍性。數學家們害怕被跳過的「中間工作」——清晰寫作、提取方法、映射其他相關內容——不再是繁瑣的工作,而成為課程的一部分。費曼的法則在這個時代顛倒過來:我無法驗證和建立的,我就不理解。
從已解決的問題到未解決的問題。當已知答案的練習作為訓練已經失效時,課堂轉向尚未有答案的問題——佩雷爾曼模式的閱讀研討會、真實數據集、實時工程,模型成為對手,而學生的工作是知道何時它是錯的。歐幾里得據說告訴一位國王,幾何學沒有皇家之路。現在有一條通往答案的皇家之路。理解仍然在前行。
故意保護掙扎。如果牆壁是教學法,隱藏答案就成為一種教學技術,而不是懷舊。設計課程讓學生朝著燈塔航行——AI作為導航員,但學生掌握方向盤,因為這條路徑才是訓練未來導航員的關鍵。故意的困難,故意分配的提示,努力被衡量並獲得相應的獎勵。
評分能力,而不是產出。一所不斷評分答案產出的學校就像是一部已經失敗的基準測試手機。評估學生能夠做的事情,而不是他們生成的答案:打破它、延伸它、轉移它、教回去。教育的衡量標準從來不是畢業生所攜帶的定理檔案——而是這個過程所培養出的數學家。
AI 的不對齊也是我們的責任
獲獎者以一種應該讓人感到刺痛的克制結尾:他們寫道,這項技術帶來的東西在很大程度上取決於控制它的人的決策——而數學只是這個問題出現的第一個領域。每一種形式的智力勞動,以及為此訓練人類的每一個機構,都面臨著同樣的抉擇。是優化排行榜——產出的答案、解決的問題、發出的成績——還是優化燈塔:培養導航者。
二十五位數學家不會讓基準測試變慢,他們知道這一點;艱難數學的訓練價值太真實了。但這從來不是聲明的重點。重點在於其背後的問題,這個問題落在父母、教師和每一個從事 AI 答案業務的機構身上:答案從來不是產品。數學家才是。學生才是。
燈泡現在在桌子上,對每個人都是免費的。燈塔仍然需要走到那裡——而走路的過程就是我們被造就的地方。
水星科技解決方案:加速數位化。


