#费马大定理

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

由姚班校友主导，Claude成功攻克费马大定理，实现了首个完整的形式化证明，最后依靠Harness工具完成。