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