Generated by Answer me with HTML 0.5.10 · 2026-11-14 11:28 · ★ Star on GitHub
AI 解開哥德爾筆記本
AI 解開哥德爾筆記本
哥德爾在四十年代寫下 1009 頁手稿，封存八十年無人讀完。Claude 兩天給出 650 頁解讀，挖出 663 條定理。
一句話結論
::callout 轉錄由人完成，連點靠 AI，驗證交給機器。真正的門檻不是認字，而是讀懂哥德爾的思路。 ::
663 條定理去哪了
| 結果 | 數量 | 說明 |
|---|---|---|
| 直接通過 | 約 400 條 | 按原樣通過 Coq 驗證 |
| 修補通過 | 約 200 條 | 敘述加精確，或補假設 |
| 不成立 | 約 50 條 | 哥德爾自己也在頁邊寫錯 |
為什麼以前讀不完
| 階段 | 做法 | 速度 |
|---|---|---|
| 2017 到 2024 | 馮普拉托團隊人工讀 | 一週一頁，一年約五十頁 |
| 2026 年 9 月 | Claude 吃轉錄加專書 | 幾天交出 650 頁解讀 |
| 驗證 | 重建證明跑 Coq | 選擇公理證明一次通過 |
時間線
- 1931不完備定理發表
- 1940逃離奧地利，到普林斯頓
- 1940年代寫下十六本工作手冊
- 1966寇恩以獨立性證明拿費爾茲獎
- 2017馮普拉托啟動解讀計畫
- 2026-09Claude 介入，兩天全面解讀
HN 吵什麼
| 主題 | 正反 |
|---|---|
| 轉錄還是理解 | 厲害的是全書連點，不是認字 |
| 沒發表算數嗎 | 在路上不等於已經到了 |
| 速記神話 | 六人應是又會讀又懂數學的人 |
| 教授會失業嗎 | 稀有的是數學判斷，不是認字 |
| 十四個新主題 | 最想看全文公開加論文引用 |
關鍵數字
- 手稿 1009 頁，十六本，四十年代寫成
- 補助 250 萬歐元，自學速記八年
- HN 分數 347，留言 93，頂層 23
- 十四個邏輯主題，八十多年無人追過
下一步
::steps
- 等全文與 650 頁解說公開
- 等可引用的論文版本
- 十四個主題逐一挖成新結果 ::