Google 发布 Cogentic:多智能体框架攻克五个公开数学难题
KyeGomezB · x · 2026-10-02
Google Research 发布论文 Cogentic:一个面向开放研究问题的多智能体自动证明发现框架。
核心设计:
- 证明-验证迭代循环:由一个 orchestrator 将一组独立的 prover 分配到不同证明方向;
- 对抗式验证:多个专用验证组件审查证明输出,确认的中间结果写入持久的 verified ledger,供后续轮次累积利用;
- 目标是解决研究级数学与理论计算机科学问题,弥补单次生成难以探索多个猜想、克服技术障碍并长期保留进展的不足。
以 Gemini 为基础模型,Cogentic 在在线学习、拍卖理论、机制设计领域的五个公开问题上产生了新结果,每个结果均经领域专家独立验证并以配套论文形式完整展开。团队称将持续更新已验证的新结果列表。
「编程与Agent」频道最新
- 不会编程上班族 12 小时造出 3D 世界,只花 $20 周配额的 93% — FinanceYF5 · 2026-10-02
- 编码Agent榜更新:Sonnet 5.5登顶68分,成本却是GPT-6.1的13倍 — ArtificialAnlys · 2026-10-02
- 单节点跑下整套编码模型组合：8x B200 上切换模型只需约 1 分钟 — josh_wills · 2026-10-02
- 开发者用 Stitch agent 7x24 自动改进自己的产品 — tokumin · 2026-10-02
- Pi 1.0 发布：编码 agent 默认内置 MCP 支持 — psychohistorian8 · 2026-10-02
- MiniMax 本地角色替换工作流：SAM3 抠图+反色技巧，4090 上 3 秒视频约 2.5 分钟 — Pleasant-Living-3702 · 2026-10-02