7个月超15数学家6年工作量，AI写下百万行代码挑战核验超大数学证明工程

AI正在推动有限单群分类的完整机器核验