事实摘要：这条英文动态主要涉及开源生态，原文信息显示：Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码Checking that a major mathematical proof is correc... 事实摘要：这条英文动态主要涉及开源生态，原文信息显示：Claude 完成 Fermat 大定理的形式化证明，生成超 。影响判断：它可能改变开源生态相关的产品判断、研究节奏或内容生产方式。场景价值：适合用于跟踪开源生态方向的选题、竞品观察和落地方案筛选。