Anthropic称Claude用1300万行代码证明费马大定理

这项进展将AI从辅助解题推向自主构造可验证证明的层面，核心意义在于绕开了人类对推理过程的信任依赖，为数学严谨性设立了新基准。对依赖形式化验证的行业（如智能合约审计、复杂系统建模）而言，这暗示了AI处理超长逻辑链的潜力，但1300万行代码的规模也带来可读性与计算资源消耗的疑问。后续值得观察的是，此类证明能否被数学家社区实际采纳，以及该方法能否推广至其他未解猜想——这将是衡量其真实价值的试金石。