AI 应用 中文标题 姚班校友主导，Claude攻克费马大定理首个完整形式化证明 原标题姚班校友主导，Claude攻克费马大定理首个完整形式化证明 所属频道AI 应用 来源量子位 发布时间2026-09-05 09:17 +08 原始语言zh FACT SUMMARY 事实摘要 最后靠Harness救回来 继续阅读 GameFuel 只提供事实摘要。完整内容、上下文与版权信息请以原始来源为准。 查看原始来源 ↗