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