Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明

事实摘要：Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明 事实摘要：Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明 事实摘要：Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明 事实摘要：Anthropic。影响判断：它可能改变AI 应用价值相关的产品判断、研究节奏或内容生产方式。场景价值：适合用于跟踪AI 应用价值方向的选题、竞品观察和落地方案筛选。