谷歌用 Gemini 4 多智能体工作流解出 10+ 道公开数学难题
michael_galkin · x · 2026-11-14
谷歌研究院发布博客，介绍其多智能体工作流 /teamwork 与 DeepReview（由 Gemini 4 模型驱动）在数学、科学与工程开放问题上的最新进展，并已向外部用户开放这些工具。
- 数学与形式化验证：报告解出 10+ 道公开数学与 CS 理论问题，包括 5000 万行 Lean 4 证明的 Courtade–Kumar 猜想，以及量子查询复杂度、Tarjan's Deque 猜想等公开问题
- 通过与学术伙伴紧密合作，团队正把这些工具打磨成真正的「研究与工程合作者」，目标是攻克开放性问题
这是 Antigravity /teamwork 功能更新后的首批实质性科研产出展示。
所属事件:谷歌多智能体系统连解 10 余道数学与化学开放难题(2 条相关)→
「编程与Agent」频道最新
- 4B 专用模型银行客服正确率 93.8%,反超 Gemini 的 74% — MParakhin · 2026-11-14
- EnvOpt 研究：优化 Agent 环境呈现方式可大幅降本提效 — AlexGDimakis · 2026-11-14
- Cloudflare workerd 集群落地 KV、Queues 与 Workflows，首发版本临近 — irvinebroque · 2026-11-14
- 研究者让 coding agent 自动抓取 Marin 最新 scaling law 拟合参数 — RylanSchaeffer · 2026-11-14
- DeepSeek 开放全家桶 API：联网搜索、文件解析、语音全部开放 — APPSO · 2026-11-14
- shadcn 新 UI SDK 实测:agent 与人类共用同一表单组件实时协作 — shadcn · 2026-11-14