Anthropic 研究员用 1000 个 Claude agent 形式化费马大定理
FinanceYF5 · x · 2026-11-12
AI Engineer Code Summit 上与 Anthropic 的 Lance Martin 交流：他刚刚将 1000 个 Claude agent 扩展用于费马大定理的形式化证明。
他对长时程 agent 的核心判断：关键主要在于奖励设计和 eval，而不是 prompt。他明天还将有一场关于 agent 记忆与「做梦」（dreaming）的演讲。
所属事件:Anthropic 千名 Agent 30 小时形式化费马大定理(6 条相关)→
「编程与Agent」频道最新
- Manus 取消传统编码面试，工程师招聘缩至峰值一半 — bestvicam · 2026-11-12
- Aether 云端编程智能体晒跑分：沙箱 CPU 每秒 25.7 次，领先两家竞品 — Med1_Ai · 2026-11-12
- Fable Ultracode 17分钟烧光5小时Max额度：30个并行研究员的代价 — teortaxesTex · 2026-11-12
- vLLM 团队开源 OpenDirector：agent 驱动的 AI 视频创作工作流 — vllm_project · 2026-11-12
- 曝 xAI 正为 Grok 开发选区框功能，可直接在文件上框选留言 — nima_owji · 2026-11-12
- Claude Code 之外的分层:多 Agent 会话管理工具该怎么选 — jiayuan_jy · 2026-11-12