AI形式化有限单群分类定理

AI系统完成“有限单群分类定理”的形式化验证，将这一大型证明工程转化为可由机器检验的形式化成果。报道将其视为机器形式化能力的突破，并援引作者的说法称，这既体现了AI在数学证明上的进展，也说明人类长期积累的数学结果经受住了机器检验。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。