Alex Bellos

「時代を先取りしていた」：AI が数学を書き換えた人物のノートに隠された発見を明らかに

クルト・ゲーデルは 1,009 ページにびっしりと書かれた速記を残し、そこには数百の証明済み定理が隠されていた。Claude の助けを借りて、フィンランドの論理学者が数日でそれを読み終えた。