已收录文章摘要，完整内容可前往原文阅读。
FormaTheoria 团队 投稿 量子位 | 公众号 QbitAI有限单群分类（CFSG）在现代数学中，堪称规模最为庞大的证明工程之一。这项证明，由上百位数学家耗时数十年接力完成，其成果散落在数百