AI破译哥德尔速记并发现新证明

数学家 Joel David Hamkins 转发消息称，AI 已破译哥德尔笔记本中的 Gabelsberger 速记体系，并由此发现一项此前未知的证明。研究团队还找到了“选择公理之否定”与集合论体系相容的一致性论证；该成果目前见于 Hamkins 转发的消息。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。