数学史上最长证明获完整计算机验证：Axiom Math用AI形式化有限单群分类定理

近日，Axiom Math发布了有限单群分类定理（CFSG）的首个完整计算机检查证明，这是数学史上的一项重大里程碑。CFSG被公认为人类写过的最长数学证明，原始证明横跨约15000页、500多篇论文，由约100位数学家共同完成。A...

Read More