虽然AI离原目标最终差了一步,但人类应用AI的思想发现了全新的定理,在两类数学对象之间建立了惊人的联系