Skip to content
AI情报Sep 4, 2026Video
文章

Anthropic的Claude在11天内基本自主工作,用Lean编程语言形式化了费马大定理的证明,标志着AI辅助数学研究的一个重要里程碑。

Data Cube AI 编辑部来源: AI Explained
01

来源简报

Anthropic的Claude在11天内基本自主工作,用Lean编程语言形式化了费马大定理的证明,标志着AI辅助数学研究的一个重要里程碑。