谷歌 Antigravity：Gemini 多代理 Teamwork 宣称攻克多项数学与工程题
谷歌博客称 Antigravity 的 Teamwork 多代理框架配合 Gemini 3.7 Flash，在数学/理论计算机、RISC-V 仿真与开源库优化等长程任务上取得进展。
谷歌 8 月 31 日发文称，开发者工具 Antigravity 中的 Teamwork 框架可让自主代理团队协作、互评并迭代数小时乃至数天；与 Gemini 3.7 Flash 搭配后，在研究与工程长程任务上加速求解。
文中列举：在 FOCS、JMLR 等方向解决七个开放问题（含用 Lean 验证的 Knuth Cycles Conjecture 等），TCSBench 达 71%；从零构建可启动 xv6 到 shell 的乱序 RISC-V 周期精确仿真器，相对硬件真值周期误差约 0.71%；并向上游贡献 Eigen SIMD 快路径与 ParlayHash（插入吞吐约 2 倍、内存约降 25%）等优化。
更细案例指向 Antigravity 博客；该文为公司自报结果，独立复现情况未在帖中给出。