AI 破译哥德尔速记遗稿，发现包括选择公理否定一致性证明在内的未知成果

burny_tech · x · 2026-11-14

数学家 Joel David Hamkins 转发消息：AI 成功解读了哥德尔（Kurt Gödel）笔记本中使用的 Gabelsberger 速记体系——这是学界多年未能系统辨认的书写系统。在破译过程中，研究者发现了大量此前未知的证明，其中包括一个关于「选择公理之否定的一致性」的论证，即证明选择公理的否定与集合论体系相容。这批手稿的解锁被认为可能改写对哥德尔晚年数学思想的认知。