网传 1000 个 Fable 5.2 Agent 30 小时完成费马大定理形式化
FinanceYF5 · x · 2026-11-10
爆料线程称 1,000 个 Fable 5.2 Agent 用约 30 小时在 Lean 中完成费马大定理的形式化证明（最终完成度 1.0），使计算机可逐步检查整个证明；相同设置下 Opus 5.5 仅完成约 27%。配图显示 18 小时时 Fable 5.2 已达 0.86，暂停后续跑 12 小时完成全部。
注意：该消息未经官方证实。
所属事件:Anthropic 千智能体 30 小时形式化费马大定理(23 条相关)→
「模型」频道最新
- 历时5年,《几何深度学习》全书草稿完成,全部章节免费上线 — PetarV_93 · 2026-11-10
- 用户吐槽 Claude 编码时把推断当事实、死守错误技术建议 — dbreunig · 2026-11-10
- Claude 在设计工作中的占比升至 53%,环比再涨一个百分点 — JohnPhamous · 2026-11-10
- 评测细节：Claude 对自己作品少自省，向他者报告 faults 却最刻薄 — dbreunig · 2026-11-10
- Reddit 爆料称 Gemini 4 Carbon 今日发布,配图仅一句「Gemini」 — muzaffer22 · 2026-11-10
- 一句话改变不了模型腔：实测提示词压不住 LLM 本性 — IndraVahan · 2026-11-10