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。
