RecodeX 重构消息，Anthropic旗下AI模型Claude首次完成费马大定理的形式化证明，该成果由清华姚班成员参与实现。形式化证明通过严格数学逻辑验证定理，标志着AI在数学推理领域取得重要进展。