AI情报Sep 4, 2026Video文章Anthropic的Claude在11天内基本自主工作,用Lean编程语言形式化了费马大定理的证明,标志着AI辅助数学研究的一个重要里程碑。Data Cube AI 编辑部2026年9月4日来源: AI Explained01来源简报Anthropic的Claude在11天内基本自主工作,用Lean编程语言形式化了费马大定理的证明,标志着AI辅助数学研究的一个重要里程碑。02相关话题AI研究Anthropic数学形式验证查看本期