据Google Research发布的信息:谷歌研究院公布了 Antigravity teamwork 多智能体系统结合 Gemini 4 模型 的最新成果,用于攻克数学、计算机科学和工程领域的复杂难题。据谷歌称,这些工具将并行生成与专用验证器相结合,解决了模型预测不准的问题,并通过隔离上下文来维持多天任务的准确性。谷歌正向研究人员和开发者外部开放这些智能体工具。
展开摘要
据Google Research发布的信息:
背景与系统设计
谷歌研究院详细介绍了 Antigravity teamwork 多智能体系统的设计与应用,该系统基于 Gemini 4 Argon、Carbon 和 Hydrogen 等多种模型构建。前沿研究需要查阅大量文献、构建计算流水线并验证每个步骤。为了解决单次模型生成的不确定性以及长周期任务中的上下文丢失问题,teamwork 采用了并行探索与专用验证器(如 Lean 4 证明检查器和执行模拟器)相结合的方式,同时将上下文分配给不同的专业智能体进行隔离处理。
科学与工程成果
据谷歌称,谷歌及学术机构的团队利用这些多智能体工作流解决了多个长期存在的开放性难题。在数学和理论计算机科学领域,研究人员证明了 2013 年的 Courtade–Kumar 猜想,解决了自 2014 年以来在自适应数据分析中悬而未决的问题,并在 Lean 4 中形式化了复杂的数学证明,包括韦伊猜想以及纳维-斯托克斯方程的部分内容。在系统软件和硬件工程方面,这些工具被用于构建 FarArray 低延迟内核旁路系统,将 Zircon 微内核和 libgav1 等大型代码库重写为安全的 Rust 语言,并优化了 TPU 内核,相比手写实现取得了显著的性能提升。
获取方式
谷歌表示,这些功能以及 /boost 命令和 Deep Review 文档评估工具目前已在 Antigravity 中上线。此外,谷歌还开放了申请通道,向 10,000 名学术研究人员提供为其六个月的最高使用层级免费访问权限。