详解 Google /teamwork：长程智能体如何做前沿科研

ymatias · x · 2026-11-14

Google Research Fellow Vahab Mirrokni 发文详解 Antigravity /teamwork 多智能体系统（基于 Gemini 4 Argon/Carbon/Hydrogen）数周内的成果：完整证明 Courtade–Kumar 猜想并完成 Lean 4 形式化验证，NMR 分子结构判定准确率 95%，自动化 Rust 内核重写、TPU kernel 4 倍提速、生产集群节省 1+ PiB 内存。

设计理念上，/teamwork 针对当前 LLM 两大限制：单次生成长度有限、长链推理易出错，因此采用「研究者框定问题与约束、长程智能体写求解器、探索大搜索空间、逐步验证」的交互式发现循环。工具已在 Antigravity 内开放，并向 1 万名学术研究者提供 6 个月免费访问。