姚班校友主导，Claude攻克费马大定理首个完整形式化证明

最后靠Harness救回来