**重磅！AI 补全人类史上最大数学证明，数学家当场泪崩**

_重磅！AI补全人类史上最大数学证明，数学家当场泪崩_

> 人工智能成功补全了人类历史上规模最大的数学证明——有限单群分类定理（CFSG），该成果已通过计算机形式化验证，令在场数学家深受震撼。

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：ai-models
- **发布时间**：2026-10-31 08:00（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/asi-post.html?id=121467)