Guardian報道，赫爾辛基大學邏輯學者Jan von Plato自2017年研究Gödel十六本、共1,009頁的工作筆記，其中大量採用過時德文速記。他今年9月把轉錄、既有研究及背景資料交給Claude輔助整理，稱獲得約650頁解釋，但仍須逐頁檢查。
研究者說，系統從筆記中歸納出663個定理、證明草案或構想，經Coq檢查，約400項可按原陳述驗證，約200項需修補假設或表述，約50項不成立。這些是採訪中給出的約數，不應僞裝成精確相加的完整分類。
有關選擇公理獨立性的重構尤其受關注：研究者認爲Gödel曾接近完成證明，但筆記存在定義問題。未看過重構的邏輯學者Joel David Hamkins提醒，仍須分清原作者已有成果與AI後來的補足。此事展示的是工具輔助文獻研究及驗證過程，並非AI自動證明所有歷史構想。
來源：the Guardian 原報道。大魚新聞整理原創中文摘要；保留原刊發日期。
邏輯學者Kurt Gödel資料照片，Alfred Eisenstaedt／The LIFE Picture Collection／Shutterstock。
Einstein爲Gödel頒獎的歷史照片，Bettmann Archive。
Gödel速記筆記縮微影像，Institute for Advanced Study。
