Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

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