AGI Hunt· nordicinst·· 2 小时前AI 评分69
Claude 数日梳理哥德尔 1009 页手稿,发现数百个未知定理
Claude 数日啃完哥德尔 1009 页手稿,揭示数百个未知定理
AI 导读
赫尔辛基大学逻辑学家 Jan von Plato 使用 Claude,在数日内完成对哥德尔 16 本、共 1009 页手稿的综合摘要。分析发现哥德尔已证明数百个此前无人知晓的定理;这些手稿主要以已废弃的 Gabelsberger 德文速记写成,他此前的研究进展仅约为每周一页。
来源:AGI Hunt · agihunt.info