Google 多智能体证明发现系统 Cogentic:Gemini 驱动攻克理论 CS 开放难题
omarsar0 · x · 2026-10-03
Google Research 发布 Cogentic,一个基于 Gemini 的多智能体数学证明发现系统,可在无专家提示下从问题陈述出发,攻克理论计算机科学的开放问题。
工作方式:
- 系统按轮次运行,orchestrator 每轮决定启动多少个 prover
- 每个 prover 负责一个方向,如证明某个界或寻找反例
- summarizer agent 从历史尝试和验证反馈中独立撰写简报,同一轮的 provers 读到对同一历史的不同摘要
- 搭配专门的 verifier agent 验证结果
作者认为这种「不过度约束执行结构+专职建议/验证 agent」的多智能体模式具有普遍适用性。
所属事件:Google 多智能体系统 Cogentic 攻克五道数学难题(4 条相关)→
「研究」频道最新
- 从零可视化推导 LLM 策略梯度：一道 17×24 讲透 REINFORCE — joecole · 2026-10-03
- 「爱因斯坦测试」：语言模型难以独立完成科学范式突破 — CurieuxExplorer · 2026-10-03
- 4Director:3D 摆机位画轨迹,让模型按导演意图生成镜头 — anand_bhattad · 2026-10-03
- JHU 开源 GenCine:单图生成视频,3D 控制相机与物体运动 — anand_bhattad · 2026-10-03
- SFT 泛化差因 off-policy 数据,改写专家轨迹可媲美 RL — a_karvonen · 2026-10-03
- Google 团队用神经细胞自动机解数独与 ARC-AGI — burny_tech · 2026-10-03