谷歌 Cogentic 官网曝光:Gemini 智能体在 5 个公开问题上产出经专家核验的新证明
Dr_Singularity · x · 2026-10-06
这是 Google Cogentic 项目官方页面的链接帖。Cogentic 是 Google Research 的多智能体编排系统，用于在开放研究问题上自动发现证明，基于 Gemini 3.1 Pro 或早期版 Gemini 4 Argon。
页面列出的已验证结果（每项均由领域专家核验并有配套论文）：
- 高效在线逆优化，达到 O(d) 遗憾界
- 双边市场中招募较小一侧：再增两名交易者即可
- 多专家 anytime 遗憾与固定时间常数匹配
- 分开出售与捆绑销售的收益保证改进
- 自动出价下广义比例第一价格拍卖的效率
页面会随新结果与论文持续更新（最近更新 Sep 30, 2026）。
所属事件:谷歌发布 Cogentic 多智能体系统自动发现数学证明(2 条相关)→
「编程与Agent」频道最新
- 他用 5 个 Grok Agent 花 3 天预生成整本 AI 英文阅读词典 — sujingshen · 2026-10-06
- 学生用 Gemma 打造本地优先日程规划 agent dAIly — damnGruz · 2026-10-06
- 所谓 harness 不过是重组输入输出,一切皆是 prompt — shakoistsLog · 2026-10-06
- 用 Claude Code 三条 prompt 一小时做出域名查询工具,只因「我想让它存在」 — TheMoonMidas · 2026-10-06
- Sai 登顶 OSWorld 2.0,单任务成本 $14.34 低于 Claude — nikola_mr64990 · 2026-10-06
- Agent 服务商难题：如何算清每个客户到底烧了多少 API 钱 — Informal-Cricket2470 · 2026-10-06