谷歌Antigravity联合Gemini 3.7 Flash破解多智能体数学与工程难题

近日，谷歌Antigravity团队对其自主AI智能体协作框架Teamwork进行了重要升级，并联合Gemini 3.7 Flash模型投入实际应用。该框架支持多个智能体在数小时至数天内自主协作、交叉校验与迭代优化，显著提升了复杂长程挑战的求解效率。在数学与理论计算机科学领域，该组合成功攻克了七项顶级学术会议悬而未决的难题，包括通过Lean形式化验证的克努特环猜想，并完成了稀疏凸优化、可证明的大语言模型量化及前缀矩阵分解等研究，在TCSBench基准测试中取得百分之七十一的成绩。在系统工程方面，团队从零构建了周期精确的乱序执行RISC-V CPU模拟器，成功引导xv6操作系统至命令行，其对硬件真机的周期对齐误差仅为百分之零点七一。此外，相关成果已反哺开源生态，核心库Eigen实现了SIMD加速路径优化，哈希库ParlayHash的插入吞吐量翻倍且内存占用降低百分之二十五。此次技术突破标志着多智能体编排架构在科研与工程落地方面迈入新阶段，进一步验证了大模型与自主协作机制融合的巨大潜力。