「AI替哥德尔翻开了迟到八十年的手稿」哥德尔1931年用不完备定理改写了现代数学与逻辑，也间接影响了图灵和计算机理论，但他在此后公开发表并不多，真正埋在纸堆里的，是上万页未整理的笔记。芬兰逻辑学家冯·普拉托自2017年起带队啃其中16本“工作笔记”，共1009页，还是用当时都已冷门的加贝尔斯贝格速记写成，人工推进一周只能读一页。转机出现在今年9月：他把转录文本和相关研究材料交给 Claude，几天内得到一份长达650页的系统梳理，初步识别出663条定理，其中约400条可直接验证，约200条经补充条件后可成立，另有约50条本身就是错的，连哥德尔当年也会在页边批一句“错了”或“很差”。最震撼的地方，不只是AI提速了文献整理，而是它把零散手稿重新接成一整块思想版图：一些结果比学界正式走到那里早了几十年，甚至还留下十多个后来没人继续展开的方向。更耐人寻味的是，AI并没有替代数学判断，真正关键的仍是人类学者的辨读、校核和证明助手的形式验证。它更像一种新的学术显微镜：不是代替发现，而是让那些本来被时间、体力和记忆力埋住的发现，终于有机会重见天日。 www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths