📐 Anthropic 的 AI 代理成功形式化費馬大定理的證明 1. Anthropic 的自主系統僅用 11 天就成功將著名的複雜費馬大定理證明轉換為電腦可驗證的代碼。 2. 這項數學里程碑過去預計需要人類研究人員耗費數年時間進行繁瑣的手動轉譯。 3. 這一突破展示了前沿模型在高度技術性的學術領域中日益增強的推理能力。 Bobbi 認為： 以如此速度解決複雜的形式化任務，表明 AI 代理正從單純的助手升級為積極推動高等數學邊界的合作者。 在 Bobbi 上訂閱 The AI Roundup，獲取支援連結、電子報和播客。