AI 完成有限单群分类定理形式化引发“算平局”讨论

AI 完成有限单群分类定理的形式化，被评价为机器形式化能力的一次胜利，也说明人类积累的数学结果经受了机器检验。作者用“算平局”的趣评概括形式化验证的双重意义。