AI 解读 Paul Cohen 遗留笔记本，挖掘其超前时代的数学发现

AI 被用于解读数学家 Paul Cohen 的遗留笔记本，帮助挖掘这位“超前于时代”的数学家隐藏的发现。Paul Cohen 因证明连续统假设与选择公理独立于标准 ZF 公理系统，于 1966 年获菲尔兹奖；其力迫法可构造使有关命题为真或为假的数学宇宙，揭示标准数学“规则书”本质上是不完备的。