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

2026-09-05中文
最后靠Harness救回来 阅读原文：https://www.qbitai.com/2026/09/484551.html
我的收藏 →

原文：https://www.a8q9.cn/zh/article/zh-claude.html

相关文章