AIがGödelの未公開ノートを解読、数百の定理を発見
原題: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
なぜ重要か
AIが学術史上の「埋もれた知」を短期間で発掘できることを実証し、数学・科学史研究の手法を根本から変える可能性を示した。
フィンランドの論理学者Jan von Platoが率いるHelsinki大学のチームは、2026年9月にAIモデルClaudeを活用して、Kurt Gödelが1940年代初頭に記した1,009ページの手稿を解析。数日以内に包括的な内容の全体像が判明し、Gödelが証明していながら誰にも知られていなかった数百の定理が存在することが明らかになった。
オーストリアの論理学者Kurt Gödelは、1931年に発表した「不完全性定理」で数学の歴史を塗り替えた人物だ。Alan Turingに影響を与え、デジタル時代の礎を築いたとも言われる。しかし1930年代の画期的な成果以降、Gödelが公表した論文は数えるほどしかなく、膨大な未公開原稿が研究者の間で注目されてきた。
Jan von Platoは2017年からHelsinki大学でGödelの16冊のノート（通称「workbooks」）の解読プロジェクトを主導してきた。これらは1,009ページに及ぶ数学・論理学の手稿で、難点が二つあった。一つは内容の高度な専門性、もう一つはGödelが使用した筆記体速記システム「Gabelsberger」が、当時すでに廃れていたドイツ語の速記法だったことだ。その結果、解読の進捗は週に約1ページという苦行のようなペースに留まっていた。
転機は2026年9月に訪れた。von PlatoがAnthropicのAIモデルClaudeを導入したところ、わずか数日で全1,009ページの包括的な内容整理が完了した。明らかになったのは驚くべき事実だった。Gödelは1970〜80年代まで誰も知らなかった結果を数十件先取りしており、さらに現在も未開拓のまま残っている14のテーマも含まれていた。
「衝撃を受けた」とvon Platoはコメントしている。「workbooksには70〜80年代まで知られていなかった結果の先取りが数十件含まれているだけでなく、まだ誰も追究していない論理学の14テーマまで存在する。Gödelは時代のはるか先を行っていた。」
AI活用前は解読に数十年かかると予想されていた作業が、一気に前進した形だ。今回の成果は、歴史的文書や難解な専門文書の解析においてAIが果たし得る役割の大きさを示す具体的な事例となった。