Claude 攻克费马大定理首个完整形式化证明

摘要

费马大定理的完整形式化证明，被 Claude 拿下了。这项工作由姚班校友主导，使用 Claude 模型完成。过程中遇到困难，最后靠 Harness 工具才把证明救回来。这是首个完整的费马大定理形式化证明。