Claude破译哥德尔天书 从速记笔记中挖出400条定理

时间：2026年11月12日 地点：美国新泽西州普林斯顿、芬兰赫尔辛基 人物：库尔特·哥德尔、Jan von Plato、Claude 事件详情：芬兰赫尔辛基大学逻辑学家Jan von Plato领导的团队利用Anthropic的Claude模型，成功破译了哥德尔在1940年代留下的16本工作笔记，共1009页。这些笔记以已近乎失传的加贝尔斯贝格速记法书写，记录了哥德尔晚年未发表的大量数学成果。Claude在数天内完成分析，识别出663条潜在定理，其中约400条经形式化验证完全成立。 背景：哥德尔于1978年去世后，其手稿长期无人能完全解读。von Plato教授自2017年起着手破译工作，但受限于速记法稀缺人才，团队仅能每周消化一页。今年夏天，在AI与定理证明学术会议上，计算机科学家建议尝试Claude。模型不仅快速完成了千页笔记的解读，还发现哥德尔早在1963年之前20多年就已构造出选择公理独立性的完整证明，只因一个有限支撑定义的笔误与重大发现失之交臂。 影响：这是AI首次在原始数学手稿层面取得超越时代的发现，证明了大型语言模型在高度专业化的符号推理任务中的爆发力。哥德尔笔记中还被发现了量子力学计算和时间闭环宇宙的早期构想，以及14个至今无人研究过的新课题。相关论文经Coq形式化验证后，已获得哥德尔专家Akihiro Kanamori的高度评价。 总结：当Claude以莫扎特式的全局视野读完哥德尔跨越80年的思绪时，人类终于得以一窥天才未完成的思考全貌。这场人机协作不仅找回了埋没在速记符号中的400条定理，更揭示了一位逻辑学家如何在战乱流离中逼近超越时代的真理。对于数学界而言，这或许标志着AI从辅助工具走向科学发现伙伴的分水岭。 参考来源： The Guardian 报道 https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths Geo.tv 报道 https://www.geo.tv/latest/691011-ai-unlocks-80-year-old-secrets-of-einsteins-friend-uncovers-hundreds-of-mathematical-discoveries 36氪报道 https://36kr.com/p/4069178330764161 Aventuras na História 报道 https://aventurasnahistoria.com.br/noticias/historia-hoje/ia-desvenda-cadernos-indecifraveis-do-teorico-que-transformou-a-matematica.phtml IT-Boltwise 报道 https://www.it-boltwise.de/ki-rekonstruiert-goedels-notebooks-hunderte-saetze-und-ueberpruefbare-beweise.html