原文為《衛報》2026 年 11 月 13 日科學版報導，作者未署名於摘要頁。本文為繁中全譯，後半附 Hacker News 討論整理（story 50486748）。
抓取時間：衛報全文 2026-11-14；HN 數據為 live 值（分數 347，留言 93，頂層 23，可讀全數抓取）。
二十世紀原創性罕有其匹的庫爾特·哥德爾（Kurt Gödel），留下了 1,009 頁幾乎無人能讀的手稿。赫爾辛基大學的揚·馮·普拉托（Jan von Plato）花了八年只讀懂一小部分。今年九月，他把轉錄稿餵給 Claude。兩天後，650 頁全面解讀出爐：哥德爾在四十年代就證明了數百條沒人知道的定理，其中十多個主題至今無人追過。
全文翻譯
奧地利邏輯學家庫爾特·哥德爾，二十世紀原創性罕有其匹。他在 1931 年發表的不完備定理（incompleteness theorems）改變了數學，也為數位時代鋪路。
在三十年代的奠基成果之後，哥德爾只發表了少數論文。但他未發表的手稿多達數萬頁，對科學史家極具價值。
自 2017 年起，芬蘭邏輯學家揚·馮·普拉托在赫爾辛基大學主持一項計畫，解讀哥德爾在四十年代初期寫下的十六本筆記本。這批材料，人稱「工作手冊」，是 1,009 頁寫得密密麻麻的數學與邏輯文字，其中大量使用德語速記 Gabelsberger 寫成，這套速記在哥德爾使用的年代就已經過時。
數學上的理解進展極慢，大約一週只能讀懂一頁，直到今年九月，馮·普拉托找來 AI 模型 Claude 幫忙。短短幾天內，Claude 就給出全部材料的全面摘要，顯示哥德爾證明了數百條無人知曉的定理。
實際上，他的發現遠超所有人想像。
「我嚇了一大跳。」馮·普拉托說。「工作手冊收了數十個先聲，那些結果要到七八十年代才出現，裡面還有十四個從未被追過的邏輯主題。哥德爾遠遠走在他時代的前面。」
哥德爾改變了邏輯的進程，因為他揭示了數學知識的極限。他的不完備定理揭示：有些命題獨立於系統，寫在系統裡，卻既證不出也證否不了。這個結果對上一代邏輯學家是一記重擊，他們原本希望一切真理都可驗證，但哥德爾把領域推向新方向，啟發艾倫·圖靈（Alan Turing）寫下 1936 年那篇開創現代計算理論的論文。
1940 年，哥德爾為躲納粹逃離奧地利，在普林斯頓落腳，與高等研究院的愛因斯坦（Albert Einstein）成為密友。晚年偏執漸深，只吃妻子煮的食物，1978 年死於飢餓。
馮·普拉托說，他在 2017 年啟動哥德爾計畫，是因為面臨赫爾辛基大學的強制退休。「我要怎麼讓自己不可或缺？對了，來讀哥德爾那些神秘的速記頁吧！」他拿到歐洲研究委員會 250 萬歐元（約 210 萬英鎊）補助，自學 Gabelsberger 速記，「全世界會讀它的只有六個人」，並組了一個小團隊。
今年八月，在法國一場關於 AI 與定理證明的會議上，馮·普拉托遇到電腦科學家，建議他找 Claude 幫忙解讀工作手冊。回赫爾辛基後他開始動手，把自己的轉錄稿、過去寫的六本哥德爾專書與其他二手文獻一起交給 Claude。
「幾天內我就看到一份 650 頁的工作手冊解說。必須逐頁核對，但那基本上是人類做不到的工作。」他說。「人類一次讀一頁，很容易忘記。一年大概讀五十頁。我們沒辦法把一千頁的不同部分都記在腦裡。」
「AI 能把一千頁的所有片段連起來。它把哥德爾的寫作看成一整塊。」
哥德爾的不完備定理指出：有些命題獨立於系統，寫在系統裡，卻在系統內既證不出也證否不了。1966 年，美國數學家保羅·寇恩（Paul Cohen）以連續統假設與選擇公理的獨立性證明拿下數學最高榮譽費爾茲獎。
哥德爾對寇恩拿獎的反應是：這個結果他在四十年代就證出來了。但同行逼他從筆記裡重建證明時，他拿不出來。
馮·普拉托交給 Claude 的第一個任務，就是查工作手冊裡有沒有選擇公理獨立性的證明，能不能還哥德爾 1966 年的那句話一個清白。答案回來了：有，差一點。「他只差一步。」馮·普拉托說。「有一個定義哥德爾寫錯了，但兩年前他用的是對的定義，所以我想他只要再繼續幾個月，一定會走到對的定義。對我來說，他的架構美極了，讓集合論的一整批結果都服從同一個模式。」
「最打動我的是，他從想法出發。他不是那種玩弄公式、指望走到哪算哪的人。他的想法非常、非常清楚，一步一步往前走，把形式工作中設定的目標一個個完成。」
馮·普拉托說，Claude 重建的選擇公理獨立性證明，他拿去跑證明助手 Coq（驗證數學證明有效性的程式），一次通過。他相信哥德爾若發表了這份工作，會拿下 1940 年的費爾茲獎。「也許寇恩拿獎時他覺得，那本來是自己錯過的東西。」
接著馮·普拉托請 Claude 把工作手冊裡所有「有證明、證明草圖或證明想法」的定理全部抽出來。Claude 找到 663 條。丟進 Coq 的結果：「約 400 條按原樣通過，約 200 條修一修就通，可能是定理敘述要更精確，或要補一個假設。約 50 條是錯的，這不奇怪。哥德爾自己重讀筆記時，偶爾也會在頁邊寫：falsch（錯）或 schlecht（糟）。」
馮·普拉托補充：「我確定繼續研究哥德爾手稿還會有寶藏。工作手冊裡有十多個邏輯與數學基礎主題，是寫下八十多年來沒人找到的。這是一條路。但還有很多。他的物理與宇宙學筆記還是未知領域，等手上的邏輯計畫做完我就去挖。」
聖母大學邏輯教授喬爾·大衛·漢金斯（Joel David Hamkins）沒看過 Claude 重建的證明，但表示若站得住腳，「既了不起，史學上也有趣。至於多少是 Claude 的、多少是哥德爾的，那是史學家的工作了。」
漢金斯說：「裡面有像寇恩證明的東西，不等於他已經有了。那只說明他在路上。沒講出來的工作不能算數。但哥德爾開創性的想法實在太多，筆記本裡滿是讓人興奮的東西，一點也不意外。」
譯註（非原文）
- Gabelsberger：十九世紀德語速記，戰後被統一德語速記取代。馮·普拉托自稱全球六人會讀，HN 上有讀者質疑是加上「懂哥德爾數學」的限縮版本。
- Coq：法國開發的互動式定理證明器，把證明寫成機器可檢查的形式。
- 663 條的三分法（400 通過、200 修補、50 錯）為馮·普拉托轉述 Claude 加 Coq 的結果，不是同行評審論文。
HN 網友在吵什麼（93 則全樹，2026-11-14 live）
統計列：分數 347，descendants 93，頂層 23，可讀 23，全樹一次抓完（total_fetched == total_descendants）。頂層按回覆數排序，子串追到第四層。下面是六個主題。
一、到底是轉錄還是理解？這次厲害的不是 OCR
- not_kurt_godel：報導明寫轉錄稿早就有人手打出來了，Claude 吃的是轉錄加六本專書，「厲害的是把一千頁看成一整塊再連起來，不是認字。」
- Perseids：貼出 AITP 會議投影片第 10 頁，速記頁根本不是「字」，「要懂數學才解得開，最好的公開形式是掃描加德文加英譯加解說三欄並排。」
- rsoto2：「Claude 這個兆級技術做的事，任何拿經費的研究員加電腦視覺早就能做。」被 CrimsonRain 一句「那他們為什麼沒做」頂回去，michaelhoney 補刀「這種留言對 HN 有害。」
二、沒發表算不算發現？完美主義者的詛咒
- alterom：「沒講出來的工作不能算數。牛頓跟萊布尼茲為了微積分吵到死就是前例。現在有了 AI，數學家更有動機藏私，還是會反過來早點把草稿丟出來卡位？」
- iltennico：「科學史家早就說哥德爾是完美主義者，只發無懈可擊的東西。筆記裡有銳利的想法不意外，但要說他『不知不覺證出新定理』，我不信。」
- bananaflag 反例：「他在 1940 年就搞出泛函解釋，拖到 1958 年才發表，肚子裡有存貨一點也不奇怪。」soulofmischief 接著把話題帶到零知識證明，「以後可以用雜湊先卡時間戳再慢慢藏私嗎？」
- 漢金斯原話被反覆引用：「在路上不等於已經到了。」
三、速記沒有那麼神祕？德國人的集體回憶
- hobo123：「我爸用到 2020 年過世都還在用自創 Gabelsberger，學校教的是統一速記沒錯，但老一輩覺得 Gabelsberger 比較好用。六個人會讀，會不會是誇飾？」
- semolinapudding：「應該是六個『又會讀 Gabelsberger 又懂數理邏輯、猜得出哥德爾在說什麼』的人。」
- throwaway81523 補史料：「轉錄是夫妻檔學了速記專門打的，哥德爾五卷全集第四卷早就分析過一部分。最想知道的是他對連續統假設有沒有進展，當年看起來是沒走通，衛報說選擇公理『差一步』，我先打問號。」
四、教授會被 AI 淘汰嗎？全串最長的樓中樓
- sheikhnbake：「這可能是第一個『用 AI 把自己搞失業』的實例。他的價值就是全世界六個會讀的人之一，翻完就沒門檻了。」
- alterom 反駁：「正好相反，是『用 AI 讓自己不被淘汰』。速記本來就是為這個題目現學的，稀有是因為沒人需要。他的價值一直是數學能力，不是認字。」
- Bayart：「他看重的可能是承載知識，不是當守門人。」
- cloudbonsai：「他能餵出好結果，正因為他有料、有判斷力。拿同樣工具去 X 上發 AI 廢文的人，對比不要太慘烈。」enneff 補年齡梗：「十年前就面臨退休，做出這個正是時候退。」
五、最讓人興奮：十四個沒人追過的主題
- ducttapecrown：「想聽那十四個邏輯新主題到底是什麼！」calf 補：「還有幾個月就能超前寇恩 1963 年結果的那條線。」
- bahbahbah：「拜託整批公開，我也想拿我的 Claude 去問一遍。」aaronrobinson 接：「陶哲軒都公開過 Claude 對話了，直接貼 session 吧。」sally_glance 笑：「一千個人餵同一個 prompt，用 sampling 差異挖寶，就是眾包的未來。」
- empath75 貼出會議投影片（
aitp-conference.org/2026/slides/JvP.pdf），superjan 補研究組官網，taylorbuley：「想到還有更多沒挖出來就坐不住。」
六、憲法漏洞、附身哏與冷笑話
- rjsw：「搞不好筆記裡有他號稱找到的美國憲法漏洞，搞不好到時現實已經先證明了。」throwaway81523 說全集裡沒找到相關內容。
- grokgrok：「我聽說那些筆記全都不完備。」agostinmantis：「AI 沒評論筆記的一致性跟完備性。」bad_username 接「真的，但證不出來。」
- insane_dreamer 挖出維基細節：妻子 1977 年底中風住院後哥德爾拒食，去世時 29 公斤，死因寫「人格障礙導致的營養不良與衰竭」。Bayart 回：「我最愛的怪咖晚年是 Grothendieck。」QuesnayJr 補：「Grothendieck 的筆記也有數位化計畫。」programd 補：「Ramanujan 筆記本有 Berndt 五卷本，丟給 Fable 或 Argon 看看？」
- tetris11：「下一步解 Voynich 手稿。」tiffanyh：「我在拿前沿模型解 Linear A，同求方法論。」rhdune 潑冷水：「Linear A 缺羅塞塔石碑，語料又小，難一個量級。」
結論
這篇報導真正的主角不是「AI 破解速記」，而是「AI 把一千頁當一整塊讀」。轉錄是人做的，連點是 Claude 做的，驗證是 Coq 做的，拍板的是馮·普拉托。六個人會讀的稀缺性是噱頭，真正的門檻是「懂哥德爾在想什麼」加上「敢把 650 頁逐頁驗完」。
663 這個數字看看就好：400 通過、200 修補、50 打叉，恰恰證明這批筆記是工作現場，不是神諭。哥德爾自己都在頁邊寫 falsch。漢金斯那句話最準：在路上不等於已經到了，沒發表就不能算數，但能在八十年前走到那條路上，本身就值得把十四個主題一個個挖出來。
下一步只等兩件事：投影片之外的全文公開，以及那份 650 頁解說何時變成可引用的論文。在那之前，拿「AI 淘汰教授」當標題的，都沒看懂樓裡 alterom 那句話。
資訊來源：衛報原文〈‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths〉2026-11-13；HN story 50486748（AI unlocks Gödel’s notebooks）；AITP 2026 JvP 投影片；赫爾辛基 Gödel Enigma 研究組官網。數字皆為 2026-11-14 抓取 live 值。