Anthropic 用 1000 个 Claude 智能体形式化费马大定理
SimplyAnnisa · x · 2026-11-12
在 #AIECode 大会上，Anthropic 的 RLance Martin 分享了把 1000 个 Claude 智能体用于形式化费马大定理（Fermat's Last Theorem）的实践。他对长时程智能体（long-horizon agents）的核心判断是：成败关键主要在奖励设计（rewards）与评测（evals），而不是提示词。
所属事件:Anthropic 千名 Agent 30 小时形式化费马大定理(6 条相关)→
「编程与Agent」频道最新
- Multica 定位多人多 Agent 协同：与 Orca、Claude Code 的分层差异 — jiayuan_jy · 2026-11-12
- Claude Code 之外的分层:多 Agent 会话管理工具该怎么选 — jiayuan_jy · 2026-11-12
- Reddit 长帖:运行数月的个人 AI Agent 实战与踩坑复盘 — Powermadlux · 2026-11-12
- 开源 CLI 一键配置 FreeLLMAPI:验证密钥并自动生成预算均衡模型链 — biryaniwithachaar · 2026-11-12
- 48 个 AI Agent 扫 1200km² 丛林后，他做出全球 LiDAR 考古平台 TerraPulse — RichardsonDx · 2026-11-12
- 博主实测有「活人感」的 Personal Agent:边干活边能对话 — xiaohu · 2026-11-12