跳到正文
AGI Hunt· nordicinst·· 2 小时前AI 评分69

Claude 数日梳理哥德尔 1009 页手稿,发现数百个未知定理

Claude 数日啃完哥德尔 1009 页手稿,揭示数百个未知定理

AI 导读

赫尔辛基大学逻辑学家 Jan von Plato 使用 Claude,在数日内完成对哥德尔 16 本、共 1009 页手稿的综合摘要。分析发现哥德尔已证明数百个此前无人知晓的定理;这些手稿主要以已废弃的 Gabelsberger 德文速记写成,他此前的研究进展仅约为每周一页。

来源:AGI Hunt · agihunt.info