AI 数日解读哥德尔 1009 页手稿，发现数百个未知定理

赫尔辛基大学逻辑学家 Jan von Plato 借助 Claude，在数日内完成哥德尔 16 本、共 1009 页工作笔记的解读，揭示数百个此前无人知晓的定理。这批手稿包含大量失传的德文 Gabelsberger 速记法，传统研究进展缓慢。