量子位大模型深度长读6 小时前

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

摘要 · 最后靠Harness救回来

阅读原文 · 量子位 →

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

大模型

最后靠Harness救回来

原文：https://www.qbitai.com/2026/09/484551.html

0 条评论 · 观点来自社区

评论区 0 条讨论

以 … 的身份发言⌘/Ctrl+Enter 发送

还没有评论，来抢沙发。