AI 破译哥德尔速记遗稿并发现选择公理否定的一致性证明

Joel David Hamkins 转发消息称，AI 成功破译哥德尔笔记本中的 Gabelsberger 速记体系，并发现此前未知的证明。研究团队还找到关于选择公理之否定的一致性论证，即证明该否定与集合论体系相容。