AI 协助完成有限单群分类定理的形式化验证

人类历史上规模最大的数学证明有限单群分类定理（CFSG）已通过计算机形式化验证，报道称 AI 参与了这一过程。该材料仅提供摘要，未给出验证工具、流程及参与机构等细节。