重磅！AI补全人类史上最大数学证明，数学家当场泪崩
重磅！AI补全人类史上最大数学证明，数学家当场泪崩Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。
来自主题: AI资讯
9889 点击 2026-11-01 09:21
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。