AI 協助解讀庫爾特·哥德爾（Kurt Gödel）的手稿

人工智慧協助芬蘭邏輯學家揚·馮·普拉托（Jan von Plato）解讀了數學家庫爾特·哥德爾（Kurt Gödel）的速記筆記。研究人員透過這項工作，在檔案中發現了數百條先前未知的定理，以及接近完成的連續統假設與選擇公理證明。

該科學研究的資料包含哥德爾數十年來所使用的加貝爾斯貝格（Gabelsberger）速記系統記錄。由於其特殊的密碼與複雜的數學符號，過去人工解讀往往耗時多年，但演算法成功加速了手寫文字的辨識過程。

這些數據揭示了這位數學家晚期的創作歷程及其在數學哲學領域的研究。解讀後的資料已移交給學術界，以進行詳細研究與證明驗證。