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

以上为资讯摘要，完整内容请访问原文网站。