事实摘要：Claude 完成 Fermat 大定理的首个全机器校验形式化证明Respect where respect is due: Anthropic says Claude completed t... 事实摘要：Claude 完成 Fermat 大定理的首个全机器校验形式化证明Respect where respect is due: Anthropic sa。影响判断：它可能改变模型能力与工程相关的产品判断、研究节奏或内容生产方式。场景价值：适合用于跟踪模型能力与工程方向的选题、竞品观察和落地方案筛选。