姚班校友主导，Claude攻克费马大定理首个完整形式化证明
中文摘要
姚班校友主导，Claude通过Harness成功实现了费马大定理的首个完整形式化证明。
English Summary
Led by Yao Class alumni, Claude successfully completed the first formal proof of Fermat's Last Theorem using Harness.
Original Excerpt
最后靠Harness救回来
中文摘要
姚班校友主导，Claude通过Harness成功实现了费马大定理的首个完整形式化证明。
English Summary
Led by Yao Class alumni, Claude successfully completed the first formal proof of Fermat's Last Theorem using Harness.
最后靠Harness救回来