工具
Antigravity Teamwork 将智能体与 Gemini 3.7 Flash 结合
谷歌于 8 月 31 日表示,Antigravity Teamwork 是一个让自主多智能体团队连续数小时或数天协作的框架,与 Gemini 3.7 Flash 搭配后加快了长周期的数学和工程工作。文章列举了已解决的七个理论计算机科学开放问题(包括在 Lean 中验证的 Knuth 循环猜想)、一个可启动 xv6 的周期精确 RISC-V 模拟器,以及在 Eigen 和 ParlayHash 上游取得的成果。
由 AI 辅助翻译。