清华姚班校友发起，Claude用11天完成费马大定理首个完整的形式化证明

已收录文章摘要，完整内容可前往原文阅读。

让计算机逐步检查一份复杂的数学证明。