AI情报Sep 4, 2026AI情报文章Anthropic的Claude在11天内基本自主工作,使用Lean编程语言完成了费马大定理证明的形式化验证,标志着AI辅助数学研究的重要里程碑。AI 生成:摘要由 AI 根据所链接的来源撰写。 我们如何使用 AIAI 生成2026年9月4日来源: Techmeme01来源简报Anthropic的Claude在11天内基本自主工作,使用Lean编程语言完成了费马大定理证明的形式化验证,标志着AI辅助数学研究的重要里程碑。02相关话题AI研究Anthropic数学形式化验证查看本期