量子位 🗓️ 2026-09-05

姚班校友主导，Claude攻克费马大定理首个完整形式化证明，这一消息引发行业关注

⚡ 一句话看懂：最后靠Harness救回来

姚班校友主导，Claude攻克费马大定理首个完整形式化证明梦瑶 2026-09-05 09:17:56 来源：量子位梦瑶发自凹非寺量子位 | 公众号 QbitAI 人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！

？

刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的

🔗 原始来源

如果你要核对细节，可以再看原文：量子位原文链接