把愛(ài)因斯坦的知識(shí)喂給大模型，它能發(fā)明相對(duì)論嗎？

LLMs Can't Jump：大語(yǔ)言模型為何無(wú)法實(shí)現(xiàn)真正的科學(xué)發(fā)現(xiàn)？—— 基于 Google DeepMind 重磅論文《LLMs can't jump》的系統(tǒng)解讀與完整譯本。頭圖來(lái)自：AI生成

為什么這篇論文對(duì)評(píng)估 AI 科學(xué)能力極其重要？

在通用人工智能（AGI）與 AI for Science（AI 科學(xué)發(fā)現(xiàn)）迅猛發(fā)展的背景下，科技界與產(chǎn)業(yè)界正被一種普遍的技術(shù)樂(lè)觀主義所主導(dǎo)：許多人相信，只要持續(xù)擴(kuò)大模型參數(shù)規(guī)模（Scaling Law）、注入更多文獻(xiàn)與實(shí)驗(yàn)數(shù)據(jù)，基于 Transformer 架構(gòu)的大語(yǔ)言模型（LLM）就能自動(dòng)從海量數(shù)據(jù)中“歸納”出未知的新物理定律，實(shí)現(xiàn)像愛(ài)因斯坦那樣的科學(xué)革命。

然而，Google DeepMind 資深研究員 Tom Zahavy 發(fā)表的這篇觀點(diǎn)論文《LLMs can't jump》，用極其嚴(yán)謹(jǐn)?shù)目茖W(xué)哲學(xué)與物理學(xué)史邏輯，對(duì)這一主流范式提出了根本性的質(zhì)疑與澄清。該研究之所以極其重要，主要體現(xiàn)在以下三個(gè)核心維度：

1.澄清科學(xué)發(fā)現(xiàn)的認(rèn)知本質(zhì)：破除“創(chuàng)造力即數(shù)據(jù)壓縮”的范式迷思

主流機(jī)器學(xué)習(xí)界（如 Schmidhuber 理論）常將科學(xué)發(fā)現(xiàn)歸結(jié)為"數(shù)據(jù)壓縮"——即通過(guò)歸納法在海量數(shù)據(jù)中尋找最簡(jiǎn)潔的模式。論文通過(guò)回顧愛(ài)因斯坦構(gòu)建廣義相對(duì)論的真實(shí)歷史指出：在愛(ài)因斯坦提出廣義相對(duì)論時(shí)，牛頓力學(xué)并未面臨任何顯著的數(shù)據(jù)誤差（誤差極小，且被歸咎于未知行星），根本不存在驅(qū)動(dòng)模型優(yōu)化的“損失函數(shù)梯度”。科學(xué)上的重大范式轉(zhuǎn)移（Paradigm Shift）往往發(fā)生在沒(méi)有監(jiān)督誤差信號(hào)的真空里。單純依靠歸納壓縮數(shù)據(jù)，AI 只會(huì)擬合已知模式或引入湊數(shù)參數(shù)，而無(wú)法重構(gòu)全新的物理圖景。

2. 明確劃分 LLM 的能力邊界：精于歸納與演繹，但結(jié)構(gòu)性缺失“溯因（Abduction）”

論文借助皮爾士（C.S. Peirce）的邏輯學(xué)框架與愛(ài)因斯坦的認(rèn)知模型，精準(zhǔn)指出了當(dāng)前 AI 的能力象限：LLM 在“歸納”（從數(shù)據(jù)提煉規(guī)律）和“演繹”（如 AlphaProof 在既定公理下推導(dǎo)數(shù)學(xué)定理）上已展現(xiàn)出極強(qiáng)能力；然而，科學(xué)發(fā)明的核心瓶頸在于“溯因（Abduction）”——即為了解釋某種令人驚異的現(xiàn)象，憑空提出全新公理假設(shè)的能力。LLM 充當(dāng)?shù)氖歉呔S度的“中文房間”，僅在已知符號(hào)之間進(jìn)行邏輯運(yùn)算，缺乏從現(xiàn)實(shí)感官體驗(yàn)跨越到新公理的“飛躍（Jump）”機(jī)制。

3.為未來(lái) AI 架構(gòu)設(shè)計(jì)指明根本方向：從“文本大模型”走向“具身物理世界模型”

研究指出，愛(ài)因斯坦之所以能完成“溯因飛躍”，是因?yàn)樗ㄟ^(guò)“電梯思想實(shí)驗(yàn)”進(jìn)行了具身仿真（Embodied Simulation），將抽象符號(hào)錨定于物理體驗(yàn)之中。因此，單純?cè)黾?LLM 的文本上下文或算力無(wú)法誕生“愛(ài)因斯坦”。

AI 科學(xué)創(chuàng)新的下一階段，必須將大模型與具有“動(dòng)作可控性與反事實(shí)干預(yù)能力”的物理一致性世界模型（Interactive World Models，如 Genie 范式）相結(jié)合。這一論斷為下一代 AI 科學(xué)基礎(chǔ)設(shè)施的研發(fā)提供了清晰明確的理論路線圖。

《LLMs can't jump》論文全文翻譯：

摘要

人類(lèi)究竟是如何從根本上發(fā)現(xiàn)新事物的？在給莫里斯·索洛文（Maurice Solovine）的一封信中，阿爾伯特·愛(ài)因斯坦將科學(xué)發(fā)現(xiàn)構(gòu)想為一種循環(huán)過(guò)程：它始于從感官經(jīng)驗(yàn)到公理的直覺(jué)“飛躍”，隨后展開(kāi)邏輯演繹。盡管生成式 AI 已經(jīng)掌握了歸納（統(tǒng)計(jì)模式匹配），并且正在快速攻克演繹（形式化證明），但我們認(rèn)為，AI 依然缺乏溯因（Abduction）機(jī)制——即生成新型解釋性假設(shè)的能力。

本文以愛(ài)因斯坦構(gòu)建廣義相對(duì)論的過(guò)程作為計(jì)算案例研究。我們表明，主流的“創(chuàng)造力即數(shù)據(jù)壓縮（歸納）”理論在面對(duì)觀測(cè)數(shù)據(jù)稀缺的重大發(fā)現(xiàn)時(shí)失效了。本觀點(diǎn)論文認(rèn)為，雖然現(xiàn)代大語(yǔ)言模型（LLM）能夠在給定已知前提下熟練執(zhí)行推導(dǎo)出定理的“演繹”階段，但在結(jié)構(gòu)上，它根本無(wú)法完成制定這些公理前提所必需的溯因“飛躍”。

我們將“將物理仿真轉(zhuǎn)化為形式化公理”識(shí)別為人工智能科學(xué)發(fā)明的關(guān)鍵瓶頸，并提出：只有具備物理一致性的多模態(tài)世界模型（Physically Consistent, Multimodal World Models），才能提供必要的感官錨定（Sensory Grounding），從而彌合這一鴻溝。

一、引言

科學(xué)發(fā)明所必需的認(rèn)知飛躍具有怎樣的特征？人工智能社區(qū)中的一種主流觀點(diǎn)（尤以 Schmidhuber 2008 年的理論為代表）認(rèn)為，科學(xué)發(fā)現(xiàn)本質(zhì)上是一個(gè)壓縮問(wèn)題——即尋找一個(gè)能夠簡(jiǎn)潔解釋觀測(cè)數(shù)據(jù)的簡(jiǎn)短程序。這種觀點(diǎn)隱式地將“發(fā)現(xiàn)”歸結(jié)為歸納（Induction）：基于統(tǒng)計(jì)頻率從觀察中推導(dǎo)通用規(guī)律。

同時(shí)，像 AlphaProof 這樣的系統(tǒng)在奧林匹克數(shù)學(xué)競(jìng)賽中的突破表明，AI 正在精通演繹（Deduction）：即從既定前提進(jìn)行形式化的定理推導(dǎo)。

如果科學(xué)發(fā)現(xiàn)僅僅是這兩者的疊加，那么理論上，只要算力足夠，現(xiàn)代大語(yǔ)言模型就應(yīng)該能夠憑空發(fā)明出廣義相對(duì)論。在本文中，我們以愛(ài)因斯坦構(gòu)建廣義相對(duì)論的過(guò)程作為計(jì)算案例，挑戰(zhàn)這一還原論假設(shè)。

圖 1：愛(ài)因斯坦 E-J-A 循環(huán)圖。從感性經(jīng)驗(yàn)（E）到公理體系（A）經(jīng)過(guò)一次跳躍（J），再演繹出定理。頗具諷刺意味的是，公理符號(hào)的"幻覺(jué)"，恰好凸顯了自動(dòng)化這一跳躍的難度。

我們采納愛(ài)因斯坦的“發(fā)明循環(huán)模型”（見(jiàn)圖 1），將整條路徑映射為：從感官經(jīng)驗(yàn)（E）出發(fā)，通過(guò)概念上的飛躍（J）到達(dá)公理系統(tǒng)（A），隨后展開(kāi)定理的演繹與驗(yàn)證。我們承認(rèn)，如果賦予愛(ài)因斯坦當(dāng)時(shí)的物理假設(shè)作為初始條件，現(xiàn)代大語(yǔ)言模型確實(shí)有可能完成后續(xù)的演繹工作；然而，如何構(gòu)建出這些初始公理，依然是無(wú)法逾越的瓶頸。

通過(guò)重構(gòu)歷史背景（第 2 節(jié)），我們證明，當(dāng)時(shí)實(shí)驗(yàn)數(shù)據(jù)的極度匱乏使得“歸納法”無(wú)法成立。而公理作為前提本身，同樣無(wú)法被“演繹”出來(lái)。因此，科學(xué)發(fā)現(xiàn)必然依賴于一種超越歸納與演繹的認(rèn)知機(jī)制：溯因（Abduction）。

為了對(duì)此進(jìn)行形式化定義，我們采用皮爾士（Peirce, 1934）的符號(hào)邏輯框架，該框架根據(jù)“規(guī)則（函數(shù)定義）”、“案例（輸入）”和“結(jié)果（返回值）”三者的排列方式對(duì)推理進(jìn)行分類(lèi)：

• 演繹（規(guī)則 + 案例 → 結(jié)果）：將規(guī)則分析性地應(yīng)用于案例以預(yù)測(cè)結(jié)果。這是唯一能確保絕對(duì)真理的模式（例如運(yùn)行代碼以驗(yàn)證輸出）。

• 歸納（案例 + 結(jié)果 → 規(guī)則）：從大量積累的案例與結(jié)果中綜合提煉出規(guī)則。它通過(guò)統(tǒng)計(jì)頻率來(lái)驗(yàn)證假設(shè)（例如生成一個(gè)能通過(guò)單元測(cè)試的函數(shù)）。

• 溯因（規(guī)則 + 結(jié)果 → 案例）：為了解釋某個(gè)令人驚訝的“結(jié)果”而推斷出一個(gè)“案例”（或一項(xiàng)新規(guī)則）。

與保證真理的演繹、或在數(shù)據(jù)中尋找泛化模式的歸納不同，溯因是一種創(chuàng)造性的飛躍，它為單一的異常現(xiàn)象憑空“發(fā)明”出因果源頭。至關(guān)重要的是，愛(ài)因斯坦是通過(guò)具身仿真（Embodied Simulation）實(shí)現(xiàn)這一點(diǎn)的——他利用思想實(shí)驗(yàn)將抽象的符號(hào)錨定在物理感受中，從而在完全沒(méi)有符號(hào)數(shù)據(jù)存在的地方構(gòu)建出了公理。

我們認(rèn)為，盡管大語(yǔ)言模型已經(jīng)掌握了數(shù)據(jù)的歸納壓縮與定理的演繹驗(yàn)證，但它們?cè)诮Y(jié)構(gòu)上無(wú)法完成科學(xué)發(fā)明所必需的溯因“飛躍”。這種創(chuàng)造性飛躍需要的不僅僅是更強(qiáng)大的語(yǔ)言處理能力，而是必須融合能夠?qū)⒊橄蠓?hào)錨定于感官仿真中的物理一致性世界模型。

二、歷史背景

2.1 力學(xué)與經(jīng)典物理的困境

在 19 世紀(jì)，力學(xué)被視為整個(gè)物理學(xué)的基石。通過(guò)偏微分方程，科學(xué)家解釋了聲波傳播、流體力學(xué)、質(zhì)點(diǎn)運(yùn)動(dòng)甚至氣體分子運(yùn)動(dòng)論。當(dāng)時(shí)連光都被理解為某種穿越“以太”介質(zhì)的力學(xué)波。然而，這種力學(xué)世界觀開(kāi)始崩塌。

隨著麥克斯韋、法拉第、赫茲和馬赫的貢獻(xiàn)，電磁學(xué)規(guī)律被統(tǒng)一為麥克斯韋方程組。牛頓力學(xué)無(wú)法解釋電磁場(chǎng)，這標(biāo)志著力學(xué)作為統(tǒng)治物理學(xué)的唯一范式的終結(jié)。物理學(xué)被撕裂為兩個(gè)概念體系：超距作用的質(zhì)點(diǎn)，與連續(xù)變化的場(chǎng)。愛(ài)因斯坦無(wú)法接受這種割裂，驅(qū)動(dòng)他去建立一套引力場(chǎng)論來(lái)取代舊的超距作用觀。

與此同時(shí)，一場(chǎng)關(guān)于光本性的危機(jī)正在醞釀。因?yàn)楣獗憩F(xiàn)為波，科學(xué)家便假設(shè)它通過(guò)一種叫"以太"的介質(zhì)傳播。然而 19 世紀(jì)末著名的邁克爾遜-莫雷實(shí)驗(yàn)打碎了這一假設(shè)：他們?cè)噲D測(cè)量地球相對(duì)于以太的速度，結(jié)果失敗了。更令人震驚的是，光速竟然不隨地球繞日公轉(zhuǎn)而變化。為挽救以太理論所做的種種努力——如“以太風(fēng)”假說(shuō)——最終都?xì)w于徒勞。

此外，牛頓引力理論也極為穩(wěn)健，精度高得驚人。伽利略曾發(fā)現(xiàn)所有物體下落速度相同（與質(zhì)量無(wú)關(guān)），牛頓用單擺實(shí)驗(yàn)確認(rèn)了這一點(diǎn)：

Fgrav= mi· d2x/dt2 = mg· g， 若 mi= mg，則 d2x/dt2 = g

也就是說(shuō)，加速度是恒定的、與質(zhì)量無(wú)關(guān)。牛頓的實(shí)驗(yàn)以 10?3的精度驗(yàn)證了 mi/ mg= 1。此后數(shù)百年，精度還在不斷刷新——Laplace 達(dá)到 10?7，E?tv?s 達(dá)到 10?9。

事實(shí)上，當(dāng)時(shí)只有一個(gè)已知反常：水星軌道的一個(gè)微小偏移，即"近日點(diǎn)進(jìn)動(dòng)"（Leverrier, 1845）。但科學(xué)家對(duì)牛頓定律如此自信，以至于不去質(zhì)疑理論本身，反而假設(shè)有一顆尚未被發(fā)現(xiàn)的行星——“火神星（Vulcan）”——藏在太陽(yáng)附近造成了這處擾動(dòng)。

2.2 狹義相對(duì)論

1905 年，愛(ài)因斯坦以完全兼容麥克斯韋方程組的方式解決了邁克爾遜-莫雷實(shí)驗(yàn)的矛盾。他將新理論建立在兩條核心假設(shè)上：

• 相對(duì)性原理（物理定律在所有慣性參考系中相同）；

• 光速不變?cè)恚ㄕ婵罩泄馑?c 為常數(shù)）。

邁克爾遜-莫雷實(shí)驗(yàn)本是為了探測(cè)地球穿過(guò)假想以太的運(yùn)動(dòng)，結(jié)果卻發(fā)現(xiàn)光速根本沒(méi)有變化——光始終以 c 傳播，所以它相對(duì)于運(yùn)動(dòng)的地球速度不變，這正是第二條原理。

從這兩條原理出發(fā)，愛(ài)因斯坦推導(dǎo)出了洛倫茲變換——它把靜止坐標(biāo)系的坐標(biāo)與以恒定相對(duì)速度 v 運(yùn)動(dòng)的坐標(biāo)系聯(lián)系起來(lái)。其中的時(shí)間變換是：

在歷史上，Poincaré 等先驅(qū)把變量 t′ 稱(chēng)為"虛時(shí)間"。但愛(ài)因斯坦的解釋是顛覆性的：t′ 不是計(jì)算上的工件，而是"時(shí)間本身"。為了說(shuō)明這一點(diǎn)，他引入了"時(shí)間膨脹"的概念：兩個(gè)原本同步的鐘如果分開(kāi)，其中一個(gè)以速度 v 運(yùn)動(dòng)，重新會(huì)合時(shí)它們將不再報(bào)同一時(shí)間。憑這一洞察，愛(ài)因斯坦粉碎了牛頓的絕對(duì)、普適時(shí)間的范式，把時(shí)間改造為對(duì)每一個(gè)觀察者都局部的真實(shí)存在。

2.3 廣義相對(duì)論的誕生路徑

愛(ài)因斯坦的新理論本質(zhì)上僅限于慣性參考系——以恒定速度運(yùn)動(dòng)、無(wú)加速度的觀察者。正是這一限制賦予了它"狹義"相對(duì)論之名。受 Ernst Mach 早期工作的啟發(fā)，愛(ài)因斯坦堅(jiān)信慣性參考系不應(yīng)享有特權(quán)地位。因此，他尋求一個(gè)適用于一切參考系的推廣理論——這就是追尋廣義相對(duì)論的起點(diǎn)。

這趟長(zhǎng)達(dá)七年的旅程充滿了深邃的物理直覺(jué)、鮮活的思想實(shí)驗(yàn)和嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)形式化，其間又夾雜著疲憊與失誤。在下面的分析中，我們采用 Norton (2020) 的框架，把愛(ài)因斯坦的進(jìn)展劃分為三個(gè)階段。

• 構(gòu)想期（1907–1912）。愛(ài)因斯坦邁向廣義相對(duì)論的第一個(gè)具體步驟發(fā)生在 1907 年，當(dāng)時(shí) Johannes Stark 邀他為相對(duì)論撰寫(xiě)一篇綜合性綜述。任務(wù)起初看似簡(jiǎn)單：愛(ài)因斯坦需要檢視已確立的物理分支，確保它們與他 1905 年提出的新時(shí)空框架相符。

工作進(jìn)展順利。電動(dòng)力學(xué)無(wú)需修改，因?yàn)樗緛?lái)就與洛倫茲變換相容。力學(xué)需要一些調(diào)整，特別是能量、動(dòng)量和質(zhì)量，進(jìn)而促使愛(ài)因斯坦把質(zhì)能等價(jià)（E = mc2）形式化。他甚至勾勒出了相對(duì)論性的熱力學(xué)輪廓。

然而，在收尾綜述時(shí)，愛(ài)因斯坦被一種強(qiáng)烈的沖動(dòng)所驅(qū)使，他想要走得更遠(yuǎn)：把相對(duì)性原理從勻速運(yùn)動(dòng)推廣到包括加速運(yùn)動(dòng)。一個(gè)深邃的頓悟擊中了他——他后來(lái)稱(chēng)之為“我一生中最幸福的想法”——加速度等價(jià)于引力，慣性本身就是一種引力效應(yīng)。這些想法匯聚成 1912 年的靜態(tài)引力場(chǎng)理論，他在其中大膽預(yù)言：引力會(huì)讓光線彎曲、讓時(shí)鐘變慢，且光速并非恒定，而是隨引力勢(shì)而變化。

• 整合期（1912–1913）。廣義相對(duì)論的關(guān)鍵轉(zhuǎn)折出現(xiàn)在 1912 年夏至 1913 年初。苦于無(wú)法把物理直覺(jué)翻譯成嚴(yán)謹(jǐn)理論的愛(ài)因斯坦意識(shí)到，彎曲的數(shù)學(xué)才是關(guān)鍵。為了掌握這一復(fù)雜領(lǐng)域，他在蘇黎世求助于他的朋友、數(shù)學(xué)家 Marcel Grossmann。他們的合作記錄在著名的“蘇黎世筆記本”中，最終結(jié)出了 1913 年的"Entwurf"（"草稿"）論文。

愛(ài)因斯坦整合出了一組物理要求和概念支柱，希望新理論都能滿足（詳見(jiàn)附錄 A）：

• 廣義相對(duì)性原理：把狹義相對(duì)論推廣到加速參考系；

• 等效原理：引力與加速度不可區(qū)分；

• 測(cè)地線原理：自由落體在時(shí)空中運(yùn)動(dòng)的方式；

• “引力有引力”：引力能本身充當(dāng)源；

• 應(yīng)力-能量張量：引力場(chǎng)的源；

• 廣義泊松方程：場(chǎng)方程的結(jié)構(gòu)；

• 牛頓極限：能回歸經(jīng)典引力。

致命的失誤。在數(shù)學(xué)部分，Grossmann 已經(jīng)極其接近最終答案。他識(shí)別出黎曼曲率張量是測(cè)量時(shí)空彎曲的正確對(duì)象。他甚至把這個(gè)張量縮并得到一個(gè)量 Gik，與現(xiàn)代的愛(ài)因斯坦張量幾乎一致。從現(xiàn)代視角看，終點(diǎn)就在眼前。

盡管如此，他們還是停下了。新的方程必須通過(guò)一項(xiàng)關(guān)鍵檢驗(yàn)：它們需要在弱、靜態(tài)場(chǎng)中復(fù)現(xiàn)牛頓簡(jiǎn)潔的引力定律（原理 7）。Grossmann 在一個(gè)致命的錯(cuò)誤中斷言，他們候選的張量無(wú)法回到牛頓的表達(dá)式。然而，正如他們后來(lái)才搞清的：錯(cuò)誤不在幾何，而在于對(duì)靜態(tài)場(chǎng)本身的假設(shè)。

他們以為這條路被堵死了，于是放棄。愛(ài)因斯坦被迫僅憑物理線索（如守恒律和他早期關(guān)于靜態(tài)場(chǎng)的工作）構(gòu)造了一組場(chǎng)方程。結(jié)果是災(zāi)難性的：他不是得到一個(gè)簡(jiǎn)潔的牛頓方程，而是湊出了十個(gè)復(fù)雜、非線性、沒(méi)有清晰幾何含義的方程——這一彎路把最終理論推遲了整整兩年。

• 數(shù)學(xué)驗(yàn)證期（1913–1915）。1913 至 1915 這幾年，是一段修補(bǔ)和完善 1913 年草稿的艱苦歲月。隨著 1913 年中"Entwurf"論文的發(fā)表，愛(ài)因斯坦起初以為重活已經(jīng)干完、只剩細(xì)節(jié)。這種感覺(jué)很快消散。隨著時(shí)間從幾個(gè)月變成幾年，他愈發(fā)費(fèi)力地試圖為一個(gè)核心就有缺陷的理論辯護(hù)。

到 1915 年夏，反對(duì)舊理論的證據(jù)越積越多。他知道該理論無(wú)法解釋水星近日點(diǎn)的反常；他發(fā)現(xiàn)它也無(wú)法說(shuō)明轉(zhuǎn)動(dòng)；最后他意識(shí)到，他在 1914 年末試圖證明理論唯一性的那些精巧論證都是錯(cuò)的。在日益絕望的狀態(tài)下，愛(ài)因斯坦放棄了 Entwurf 中“適配的”坐標(biāo)系，重返他 1912 年的直覺(jué)：理論必須在一切坐標(biāo)系下成立。

隨之而來(lái)的也許是愛(ài)因斯坦科學(xué)生涯中最為緊張的一個(gè)月。在得知著名數(shù)學(xué)家 David Hilbert 也在競(jìng)速求解同一問(wèn)題時(shí)，愛(ài)因斯坦進(jìn)入了瘋狂高產(chǎn)的狀態(tài)——連續(xù)四周每周向普魯士科學(xué)院提交一篇論文。

11 月 4 日的第一篇通訊提出了一個(gè)解，但錯(cuò)誤仍在；11 月 11 日他修正了理論，困難仍存；但到了 11 月 18 日，他激動(dòng)地宣布，他不斷完善的方程正確預(yù)言了水星的反常軌道。最后，11 月 25 日的第四篇通訊公布了完成的廣義相對(duì)論場(chǎng)方程：

其中，Rik是里奇曲率張量，R 是里奇標(biāo)量，Tik是應(yīng)力-能量張量，gik是度規(guī)張量。左邊表達(dá)式代表由度規(guī)決定的時(shí)空幾何（彎曲），右邊表達(dá)式代表物質(zhì)與能量。

三、反駁：歸納派和演繹派都答不上來(lái)

3. 1歸納推理（Induction）的極限

人們常常聽(tīng)到這樣一種觀點(diǎn)：物理學(xué)家不過(guò)是在識(shí)別模式……但在我看來(lái)，這種觀點(diǎn)離題萬(wàn)里……廣義相對(duì)論剛提出時(shí)，并沒(méi)有真正的觀測(cè)需求。……愛(ài)因斯坦并不是在物理對(duì)象的行為中"識(shí)別模式"。他是在揭示早已隱藏在世界的運(yùn)作方式之中的、深邃的數(shù)學(xué)結(jié)構(gòu)。 —— Roger Penrose

"識(shí)別模式"與"揭示結(jié)構(gòu)"之間的這一區(qū)分，劃出了今日 AI 與科學(xué)發(fā)明所需 AI 的邊界。機(jī)器學(xué)習(xí)中的主流觀點(diǎn)與 Schmidhuber (2008) 的"壓縮進(jìn)步論"一致：科學(xué)發(fā)現(xiàn)源于對(duì)數(shù)據(jù)進(jìn)行歸納式壓縮的欲望。在這套框架下，"發(fā)現(xiàn)的喜悅"就是復(fù)雜觀測(cè)被更好地預(yù)測(cè)、從而變得主觀更簡(jiǎn)潔的速率。這一歸納思路在數(shù)據(jù)豐富的環(huán)境中已取得不俗成果：稀疏優(yōu)化已成功從數(shù)據(jù)中提取偏微分方程（Schaeffer, 2017）；"AI 物理學(xué)家"（Wu & Tegmark, 2019）成功從仿真軌跡中重新發(fā)現(xiàn)了守恒律。

然而我們認(rèn)為，這一歸納框架不足以解釋廣義相對(duì)論的發(fā)明。愛(ài)因斯坦雖然追求邏輯簡(jiǎn)潔，但他的過(guò)程并非由數(shù)據(jù)壓縮驅(qū)動(dòng)——主要原因是，根本沒(méi)有具備統(tǒng)計(jì)顯著性的有監(jiān)督訓(xùn)練集可壓縮。

在那個(gè)發(fā)明的年代，牛頓引力并沒(méi)有面臨經(jīng)驗(yàn)性危機(jī)。慣性質(zhì)量與引力質(zhì)量的等價(jià)性已被以 10?9的精度驗(yàn)證，牛頓定律的精度小到驚人的地步。唯一已知的反常——水星近日點(diǎn)進(jìn)動(dòng)——并未被視為失敗，反倒被視為隱藏變量的證據(jù)：未被發(fā)現(xiàn)的"火神星"。

這凸顯了“創(chuàng)造力即壓縮”思路的根本局限：科學(xué)發(fā)明常常發(fā)生在沒(méi)有有監(jiān)督誤差信號(hào)的情況下。一臺(tái)作為歸納優(yōu)化引擎的 AI 會(huì)發(fā)現(xiàn)牛頓引力損失函數(shù)近似為零。沒(méi)有預(yù)測(cè)與觀測(cè)之間的顯著差異，就不會(huì)有梯度去驅(qū)動(dòng)系統(tǒng)進(jìn)行關(guān)于時(shí)空的基礎(chǔ)性重構(gòu)。

如果現(xiàn)代 Transformer 模型都難以逆向工程基本的算術(shù)規(guī)則（Gambardella et al., 2024; Yang et al., 2024），很難想象它在沒(méi)有大規(guī)模數(shù)據(jù)集的情況下，怎么可能發(fā)明新的物理。

更進(jìn)一步，即便有數(shù)據(jù)，歸納系統(tǒng)也可能收斂到啟發(fā)式捷徑而非因果律。Vafa et al. (2025) 證明：沒(méi)有正確的歸納偏置，基礎(chǔ)模型常常發(fā)現(xiàn)滿足數(shù)據(jù)、卻沒(méi)抓住底層結(jié)構(gòu)的有缺陷的世界模型。驗(yàn)證廣義相對(duì)論所需的實(shí)證——從 Eddington 實(shí)驗(yàn)到相對(duì)論性 GPS 修正——都是在理論已經(jīng)成型之后才到來(lái)的。愛(ài)因斯坦并不是在壓縮噪聲數(shù)據(jù)集以擬合回歸曲線；他是在構(gòu)建一個(gè)邏輯框架，去揭示數(shù)據(jù)尚未揭示的物理結(jié)構(gòu)。

最后，或許有人會(huì)說(shuō)：雖然愛(ài)因斯坦沒(méi)有壓縮數(shù)據(jù)，但他通過(guò)把慣性和引力的定律統(tǒng)一到單一框架（最小描述長(zhǎng)度）來(lái)壓縮了假設(shè)空間。然而，邏輯簡(jiǎn)潔常常是一個(gè)回溯性質(zhì)。廣義相對(duì)論的最終理論固然優(yōu)雅，但通往它的搜索路徑卻鋪滿了復(fù)雜性、被放棄的張量和錯(cuò)誤的方程。一個(gè)以壓縮為驅(qū)動(dòng)的 AI 也許更愿意用像“火神星”這樣的參數(shù)去打補(bǔ)丁牛頓引力，而不是把假設(shè)空間擴(kuò)展到非歐幾何——這會(huì)先增加復(fù)雜性，再化簡(jiǎn)它。

3.2 演繹推理的邊界

我看到一邊是所有感性經(jīng)驗(yàn)的總體，另一邊是記載于書(shū)本中的所有概念和命題。概念與命題之間的關(guān)系是邏輯性質(zhì)的……概念和命題只有在與感性經(jīng)驗(yàn)的聯(lián)系中才獲得“意義”或“內(nèi)容”。 —— Albert Einstein

愛(ài)因斯坦明確區(qū)分了感性經(jīng)驗(yàn)的領(lǐng)域與邏輯處理的領(lǐng)域。在我們的框架中，后者對(duì)應(yīng)于演繹（A → S）：從一個(gè)固定的公理集出發(fā)，對(duì)定理進(jìn)行嚴(yán)格推導(dǎo)。

甚至連啟動(dòng)追尋廣義相對(duì)論的動(dòng)機(jī)，都含有強(qiáng)烈的演繹成分。愛(ài)因斯坦的動(dòng)力并非來(lái)自數(shù)據(jù)異常。牛頓的觀測(cè)史中不存在“誤差信號(hào)”，而是源于一個(gè)概念上的不協(xié)調(diào)：機(jī)械學(xué)的超距作用與新興的電磁場(chǎng)論之間的沖突。雖然現(xiàn)代 LLM 因“信號(hào)微弱”（并沒(méi)有要求替代牛頓引力）而難以發(fā)現(xiàn)這一想法，但通過(guò)模仿麥克斯韋方程組、為引力構(gòu)造一個(gè)場(chǎng)論這一結(jié)構(gòu)性任務(wù)，本質(zhì)上是一項(xiàng)演繹操作。

可以想象，一臺(tái)被優(yōu)化用于在科學(xué)文獻(xiàn)中尋找不一致的現(xiàn)代 AI，能夠識(shí)別這一矛盾。就像識(shí)別“有 bug 的代碼”，AI 可以標(biāo)記出：麥克斯韋方程組中的恒定光速與牛頓的絕對(duì)時(shí)間不相容。

然而，識(shí)別錯(cuò)誤不同于生成修復(fù)。提出場(chǎng)論來(lái)替代引力在結(jié)構(gòu)上是演繹操作，但選擇正確的公理去消解沖突，僅靠邏輯一致性是不夠的。

1913 至 1915 這段時(shí)期恰好說(shuō)明了這種演繹層面的拉鋸。它不是被靈光一現(xiàn)所定義，而是被一場(chǎng)艱苦、機(jī)械式地尋找滿足愛(ài)因斯坦公設(shè)的正確數(shù)學(xué)框架的搜索所定義。這一階段與當(dāng)代神經(jīng)符號(hào) AI的能力高度吻合。

愛(ài)因斯坦與 Grossmann 的合作，本質(zhì)上是在幾何約束上的“搜索”過(guò)程。值得注意的是，他們識(shí)別出了黎曼曲率張量是正確的對(duì)象，卻因一個(gè)“致命錯(cuò)誤”——誤以為它在靜態(tài)場(chǎng)中無(wú)法回到牛頓引力——而丟棄。花了兩年精疲力竭的工夫才把這個(gè)假設(shè)調(diào)試掉，最終產(chǎn)出正確的場(chǎng)方程。

數(shù)學(xué)發(fā)現(xiàn)的圖景近來(lái)被自動(dòng)化所重塑。基于依賴類(lèi)型論的證明助手——例如 Lean——已成熟為得到廣泛數(shù)學(xué)庫(kù)支持的穩(wěn)健平臺(tái)（mathlib Community, 2019）。2024 年以來(lái)，LLM 在證明生成上已表現(xiàn)出驚人的流暢度：AlphaProof（Hubert et al., 2025）達(dá)到了 IMO 銀牌水準(zhǔn)；2025 年的后繼者如 Gemini、DeepSeekMathV2、GPT-5 達(dá)到了金牌水準(zhǔn)；而像 Aristotle（Achim et al., 2025）這樣的系統(tǒng)已對(duì)開(kāi)放研究問(wèn)題產(chǎn)出可驗(yàn)證的解。

十二歲時(shí)，我經(jīng)歷了另一種完全不同的奇跡——在一本討論歐幾里得平面幾何的小冊(cè)子里……有那么多可以被如此確定地證明的命題，以至于任何懷疑都顯得毫無(wú)道理。這種清晰與確定給我留下了難以言表的印象。 —— Albert Einstein

沿著這一軌跡，我們主張：一臺(tái)現(xiàn)代 LLM，若以愛(ài)因斯坦 1915 年所能獲得的特定物理假設(shè)為初始化條件，有望推導(dǎo)出廣義相對(duì)論。一旦設(shè)定了場(chǎng)方程，推導(dǎo)水星的近日點(diǎn)進(jìn)動(dòng)是一項(xiàng)可驗(yàn)證的邏輯任務(wù)（A → S）。而且，現(xiàn)有系統(tǒng)在理論上能夠系統(tǒng)性地優(yōu)化公理的子集，識(shí)別并消除錯(cuò)誤約束——例如愛(ài)因斯坦關(guān)于靜態(tài)場(chǎng)的錯(cuò)誤。

然而，這一能力伴隨著一個(gè)關(guān)鍵警示。一臺(tái) AI 只能演繹"等效原理"的后果，前提是把這些概念作為輸入提供給它。正如愛(ài)因斯坦所指出的，邏輯思考僅限于概念之間的聯(lián)系；它無(wú)法從原始感官數(shù)據(jù)中生成概念本身。1913 年的推導(dǎo)之所以失敗，不是因?yàn)檫壿嬘腥毕荩且驗(yàn)楣礤e(cuò)了。

這把我們引向根本性的瓶頸：什么樣的認(rèn)知過(guò)程，使愛(ài)因斯坦最初能夠生成“等效原理”？要理解這一點(diǎn)，我們必須超越邏輯，去考察“跳躍（J）”的機(jī)制。

最后，即使一臺(tái) AI 具備演繹能力，能從愛(ài)因斯坦的公設(shè)推導(dǎo)出他的方程，仍然存在一個(gè)意圖層面的根本問(wèn)題。不同于形式化定理證明——目標(biāo)是某個(gè)具體的開(kāi)放猜想——愛(ài)因斯坦并不是要證明一個(gè)定理，而是要構(gòu)造一個(gè)關(guān)于現(xiàn)實(shí)的預(yù)測(cè)模型。雖然水星近日點(diǎn)進(jìn)動(dòng)反常提供了一個(gè)驗(yàn)證目標(biāo)，但它并未被認(rèn)為足夠重要。

關(guān)鍵的是，決定性的驗(yàn)證——愛(ài)丁頓對(duì)經(jīng)過(guò)太陽(yáng)附近的星光引力偏折的測(cè)量——是在理論被提出多年以后才完成的。演繹（A → S）嚴(yán)格地是一種下游過(guò)程：它展開(kāi)了一個(gè)理論的邏輯后果，但既缺少生成公理的上游能力，也缺少驗(yàn)證公理的外部接地。

四、溯因（Abduction）：缺失的飛躍

然后我一生中最幸福的想法出現(xiàn)了……對(duì)于一個(gè)從屋頂自由墜落的觀察者來(lái)說(shuō)——至少在他的緊鄰范圍內(nèi)——不存在引力場(chǎng)……這位觀察者因此有權(quán)把自己的狀態(tài)解釋為"靜止"。由于這一想法，那條不尋常的、在引力場(chǎng)中所有物體以相同加速度下落的實(shí)驗(yàn)定律，立刻獲得了深刻的物理意義。 —— Albert Einstein

在沒(méi)有足夠數(shù)據(jù)的情況下，心靈是如何形成新公理的？愛(ài)因斯坦"最幸福的想法"給出了答案：操縱性溯因（Manipulative Abduction）（Magnani et al., 2009）。這一過(guò)程依賴于具身仿真——通過(guò)與心智模型的主動(dòng)交互，在"做中思"的過(guò)程中生成假說(shuō)，從而獲取超出純演繹范疇的知識(shí)。愛(ài)因斯坦并沒(méi)有通過(guò)收集觀測(cè)來(lái)連接狹義相對(duì)論和引力，而是通過(guò)仿真一位密封艙內(nèi)觀察者的物理感受。

我們把這一思想實(shí)驗(yàn)概念化為一個(gè)兩階段過(guò)程。第一步，通過(guò)仿真設(shè)想一個(gè)觀察。第二步，通過(guò)溯因推理為該觀察推導(dǎo)解釋。ARC-AGI（Chollet et al., 2025）等現(xiàn)代基準(zhǔn)已對(duì)后者進(jìn)行測(cè)試。在 ARC 中，模型必須從極少樣本（2–5 個(gè)網(wǎng)格對(duì)）中推斷隱藏規(guī)則。

因?yàn)閿?shù)據(jù)過(guò)于稀疏，統(tǒng)計(jì)歸納不適用；又因?yàn)槿鄙傺堇[所需的顯式指令，模型必須做出一次溯因跳躍，走向最可信的解釋。然而我們接下來(lái)要論證的是：ARC 雖然抓住了邏輯跳躍，卻漏掉了操縱性成分——驅(qū)動(dòng)愛(ài)因斯坦洞察的那種物理感受與具身仿真。

仿真即物理變化。第一個(gè)過(guò)程——發(fā)明一個(gè)問(wèn)題以推動(dòng)進(jìn)步——可以借助現(xiàn)代 AI 的視角理解為測(cè)試時(shí)強(qiáng)化學(xué)習(xí)。這一范式包括：發(fā)明問(wèn)題的新變體，并學(xué)著去求解它們；這一策略已成功用于求解國(guó)際象棋中的 Penrose 位置（Zahavy et al., 2024），以及達(dá)到 IMO 銀牌水平（Hubert et al., 2025）。

然而，仍然存在一個(gè)關(guān)鍵區(qū)別。象棋與數(shù)學(xué)中的符號(hào)變化受固定規(guī)則（公理）約束，而愛(ài)因斯坦的變化需要基于物理直覺(jué)去發(fā)明全新的公理——這種直覺(jué)彼時(shí)尚未存在于數(shù)學(xué)之中。他設(shè)想一位物理學(xué)家處在一臺(tái)電梯中，在深空中被均勻加速。在密閉艙內(nèi)，感官體驗(yàn)揭示出一種特定模式：當(dāng)物體被釋放時(shí)，地板迎面沖來(lái)。對(duì)物理學(xué)家而言，無(wú)論物體成分如何，它們似乎以相同的加速度下落。因此，這里的仿真不是符號(hào)的排列，而是知覺(jué)經(jīng)驗(yàn)的操縱。

溯因與物理先驗(yàn)。第二個(gè)過(guò)程是溯因推理：對(duì)最佳解釋的推斷。不同于保證從前提得到真理的演繹，溯因?qū)で髮?duì)一次觀察的最簡(jiǎn)、最可能原因。

在愛(ài)因斯坦的場(chǎng)景中，既有的牛頓框架對(duì)他想象出的觀察并不提供令人滿意的解釋。他面對(duì)的是語(yǔ)言空間中的沉默——缺少先驗(yàn)的符號(hào)表征：

無(wú)論是寫(xiě)成還是說(shuō)出的詞語(yǔ)或語(yǔ)言，在我的思維機(jī)制中似乎都沒(méi)有起作用。 —— Albert Einstein

為了填補(bǔ)這一空白，他訴諸一種物理先驗(yàn)。因?yàn)楸环抡娴募铀俑泄袤w驗(yàn)與記憶中的引力感官體驗(yàn)不可區(qū)分，愛(ài)因斯坦便溯因它們必為同一現(xiàn)象。盒子里的場(chǎng)不是虛假的慣性效應(yīng)；它由定義就是一個(gè)真正的引力場(chǎng)。

從中文屋到世界模型。這一認(rèn)知過(guò)程——把抽象符號(hào)錨定在具體的物理仿真中——被稱(chēng)為操縱性溯因（Magnani et al., 2009）。它與 LLM 的操作機(jī)理形成鮮明對(duì)照。

LLM 擅長(zhǎng)歸納（在數(shù)據(jù)中發(fā)現(xiàn)模式），但缺少把這些符號(hào)接地到物理現(xiàn)實(shí)所需的感官能動(dòng)性。它們以高維"中文屋"（Harnad, 1990）的方式運(yùn)作：操縱著物理學(xué)的語(yǔ)言，卻無(wú)法觸及讓這種語(yǔ)言獲得意義的物理指代對(duì)象。這一限制阻止了 AI 完成溯因跳躍（E → A）。愛(ài)因斯坦能把自己的公理接地到自由落體的物理經(jīng)驗(yàn)上，而 LLM 則被局限于對(duì)既有文本的邏輯演繹。

這種物理接地的缺失，是近來(lái)對(duì) AI 批評(píng)的核心。專(zhuān)家們認(rèn)為，盡管語(yǔ)言能力出眾，現(xiàn)有系統(tǒng)仍然缺少推理物理現(xiàn)實(shí)所需的空間智能（Li, 2025）和內(nèi)部世界模型（LeCun, 2022）。沒(méi)有感知世界或與世界交互的能力，LLM 在對(duì)幼兒而言都輕而易舉的空間推理任務(wù)面前依然步履蹣跚。

世界模型的興起為彌合這一鴻溝提供了一條路徑，但必須區(qū)分視覺(jué)預(yù)測(cè)與交互式仿真。當(dāng)前像 Veo 這樣的視頻生成模型，其"直觀物理"（Hassabis, 2025）主要源自統(tǒng)計(jì)相關(guān)性的副產(chǎn)品：它們正確生成一只下落的蘋(píng)果，并非因?yàn)樗鼈兘Ａ艘Γ且驗(yàn)?下落"在訓(xùn)練分布中本就是無(wú)支撐物體的主導(dǎo)延續(xù)。

然而，像 Genie（Bruce et al., 2024）這樣的近期架構(gòu)，標(biāo)志著一次根本性轉(zhuǎn)變——在生成式世界模型中引入動(dòng)作可控性。與被動(dòng)的視頻生成器不同，Genie 學(xué)習(xí)一個(gè)能支持主動(dòng)干預(yù)的動(dòng)作空間——這是操縱性溯因（做中思）的前提。要復(fù)刻愛(ài)因斯坦的電梯思想實(shí)驗(yàn)，AI 不能僅僅觀看一段電梯視頻；它必須具備反事實(shí)干預(yù)（Pearl & Mackenzie, 2018）的能力，必須能夠在概念上"剪斷纜繩"。我們提出：在統(tǒng)一的潛在物理流形（而非僅像素）上運(yùn)作的交互式環(huán)境的未來(lái)迭代，將提供把溯因跳躍從神秘洞察轉(zhuǎn)化為可復(fù)現(xiàn)算法過(guò)程所需的合成實(shí)驗(yàn)室。

最后，值得指出的是：愛(ài)因斯坦依賴于他的物理先驗(yàn)，借助對(duì)引力的感受去修剪可能的公理搜索空間。然而，操縱性溯因不止于物理學(xué)。歷史上的科學(xué)革命常常由強(qiáng)烈的、前符號(hào)的直覺(jué)驅(qū)動(dòng)——無(wú)論是開(kāi)普勒關(guān)于太陽(yáng)中心性的新柏拉圖式信念，還是驅(qū)動(dòng)馬克思建模資本的"客觀憤怒"。要把發(fā)明自動(dòng)化，我們或許需要的系統(tǒng)不僅能仿真世界，還要持有強(qiáng)烈的信念或先驗(yàn)——關(guān)于世界應(yīng)當(dāng)如何被結(jié)構(gòu)化的——并通過(guò)仿真去檢驗(yàn)?zāi)切┨囟ㄖ庇X(jué)。

五、結(jié)論：通向真正機(jī)器發(fā)明的路

在本文中，我們提出了一個(gè)根本性的問(wèn)題：給定愛(ài)因斯坦當(dāng)時(shí)所能獲得的知識(shí)，一臺(tái)現(xiàn)代 AI 是否能發(fā)明出廣義相對(duì)論？我們的研究表明，對(duì)當(dāng)前的大語(yǔ)言模型而言，答案是不能。雖然這一領(lǐng)域已成功將歸納（統(tǒng)計(jì)壓縮）和演繹（形式化驗(yàn)證）機(jī)械化，但僅靠這兩種機(jī)制，不足以支撐科學(xué)發(fā)明的循環(huán)。

主流的"創(chuàng)造力即壓縮"假說(shuō)無(wú)法解釋這一發(fā)現(xiàn)，因?yàn)樗A(yù)設(shè)了一個(gè)普遍存在的誤差信號(hào)的存在。然而，牛頓范式從未面臨這樣的危機(jī)；驗(yàn)證廣義相對(duì)論所需的數(shù)據(jù)，要在該理論被提出多年之后才出現(xiàn)。

更進(jìn)一步，雖然演繹范式提供了一條在公理確定后推導(dǎo)場(chǎng)方程的路徑，但它終究只是一個(gè)下游過(guò)程——是發(fā)明循環(huán)內(nèi)部的一個(gè)驗(yàn)證步驟，而非發(fā)明機(jī)制本身。

這一局限在今日自動(dòng)化發(fā)現(xiàn)系統(tǒng)的尖峰上清晰可見(jiàn)。像 Sakana 的AI Scientist（Lu et al., 2024）和 Google DeepMind 的AlphaEvolve（Novikov et al., 2025）這樣的智能體，展現(xiàn)了機(jī)械化科學(xué)循環(huán)與進(jìn)化優(yōu)化的巨大威力。

然而，它們恰好凸顯了我們所識(shí)別的溯因缺口。AI Scientist 把已有符號(hào)概念重新組合去優(yōu)化指標(biāo)——這是一次復(fù)雜的“中文屋”操作，缺少在沒(méi)有任何符號(hào)先例的情況下發(fā)明公理所必需的感官接地。類(lèi)似地，AlphaEvolve 雖擅長(zhǎng)在固定框架內(nèi)做優(yōu)化，但依賴梯度；與之對(duì)照，愛(ài)因斯坦并沒(méi)有來(lái)自牛頓力學(xué)的誤差信號(hào)來(lái)驅(qū)動(dòng)其發(fā)現(xiàn)。這些系統(tǒng)缺少執(zhí)行反事實(shí)物理仿真所需的具身世界模型——正是這種仿真驅(qū)動(dòng)了通往全新范式的溯因跳躍。

我們的分析確認(rèn)，關(guān)鍵的瓶頸是從感官經(jīng)驗(yàn)到形式公理（E → A）的那一次直覺(jué)性跳躍。愛(ài)因斯坦不是通過(guò)對(duì)符號(hào)的搜索發(fā)現(xiàn)廣義相對(duì)論的；他通過(guò)仿真一位墜落觀察者的感官體驗(yàn)來(lái)發(fā)現(xiàn)它。等效原理的提出，是一次自洽的物理溯因行為，其前提僅僅通過(guò)內(nèi)部仿真建立，獨(dú)立于任何直接的外部驗(yàn)證。

因此，要構(gòu)造一臺(tái)能夠真正“發(fā)明”的 AI，我們必須超越僅僅閱讀科學(xué)文獻(xiàn)的系統(tǒng)，跨向能夠感知物理世界的系統(tǒng)。物理一致的世界模型的興起，為通向一座合成實(shí)驗(yàn)室提供了一條路徑。通過(guò)讓智能體運(yùn)行反事實(shí)仿真——去體驗(yàn)一項(xiàng)思想實(shí)驗(yàn)的物理后果——我們也許終能將直覺(jué)與邏輯之間的反饋循環(huán)機(jī)械化。

最后，我們強(qiáng)調(diào)：這一提議是專(zhuān)門(mén)為物理學(xué)這樣的、其研究對(duì)象是外部物質(zhì)現(xiàn)實(shí)的學(xué)科量身定制的。在像數(shù)學(xué)或計(jì)算機(jī)科學(xué)這樣的抽象領(lǐng)域中，感性經(jīng)驗(yàn)（E）可能建立在高維拓?fù)渖希蛞砸话阈浴⒆钚⌒缘茸鳛槟繕?biāo)。雖然溯因跳躍的必要性是普適的，但仿真的性質(zhì)必須適應(yīng)學(xué)科本體論：對(duì)物理學(xué)而言，基底是世界；對(duì)數(shù)學(xué)而言，基底是形式系統(tǒng)的抽象圖景。

【附錄：愛(ài)因斯坦廣義相對(duì)論的七大公理前提】
1. 廣義相對(duì)性原理：將狹義相對(duì)論從勻速慣性系擴(kuò)展至任意加速參考系。
2. 等效原理：局域均勻引力場(chǎng)的物理效應(yīng)與無(wú)引力空間中的勻加速運(yùn)動(dòng)完全等價(jià)。
3. 測(cè)地線原理：自由落體在彎曲時(shí)空中沿“類(lèi)時(shí)測(cè)地線”運(yùn)動(dòng)，將引力重定義為幾何現(xiàn)象。
4. “引力本身也會(huì)產(chǎn)生引力”：結(jié)合 E=mc^2 與 m_i=m_g，推導(dǎo)出引力場(chǎng)自身的能量也是引力源，決定了場(chǎng)方程必須是非線性的。
5. 應(yīng)力-能量張量：采用勞厄的應(yīng)力-能量張量 T_ij 作為引力源的完整物理描述。
6. 廣義泊松方程：尋找牛頓引力泊松方程的張量推廣形式，用曲率張量 R_ik 替換標(biāo)量勢(shì)，用應(yīng)力-能量張量 -κ T_ik 替換質(zhì)量密度。
7. 牛頓極限：要求在弱場(chǎng)、慢速和靜態(tài)場(chǎng)的條件性，廣義相對(duì)論必須能退化還原為牛頓萬(wàn)有引力定律。

文獻(xiàn)信息：
論文原名：Position: LLMs can't jump
論文作者：Tom Zahavy (Google DeepMind 研究員，曾參與 AlphaZero 與 AlphaProof 研發(fā))
核心價(jià)值：深刻指出了當(dāng)前大語(yǔ)言模型（LLM）在科學(xué)創(chuàng)造力上的結(jié)構(gòu)性缺陷，破除了“憑借 Scaling Law 與數(shù)據(jù)壓縮即可實(shí)現(xiàn) AGI 科學(xué)發(fā)現(xiàn)”的迷思。

本內(nèi)容由作者授權(quán)發(fā)布，觀點(diǎn)僅代表作者本人，不代表虎嗅立場(chǎng)。如對(duì)本稿件有異議或投訴，請(qǐng)聯(lián)系 tougao@huxiu.com。

本文來(lái)自虎嗅，原文鏈接：https://www.huxiu.com/article/4881466.html?f=wyxwapp