RecodeX 重构消息，Anthropic 研发的 AI 系统将怀尔斯证明费马大定理的 129 页内容转化为计算机可验证的 Lean 形式化版本，用 3 条标准公理完成全链条验证，生成约 1300 万行代码，涉及 3.03 万个定理。项目借助多智能体协作等技术克服两大核心挑战，计算规模庞大，经独立审阅确认可靠，11 天完成主要工作，效率提升超两个数量级，开创 AI 辅助数学形式化新范式，完整证明已在 GitHub 公开。