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

事实摘要：姚班校友主导，Claude攻克费马大定理首个完整形式化证明 最后靠Harness救回来 这条动态来自 量子位，可重点关注其对 AI 应用和产业节奏的影响。 姚班校友主导，Claude攻克费马大定理首个完整形式化证明 最后靠Harness救回来。影响判断：它可能改变AI 应用价值相关的产品判断、研究节奏或内容生产方式。场景价值：适合用于跟踪AI 应用价值方向的选题、竞品观察和落地方案筛选。