Google 推出 Gemini 3.7 Flash 與 Teamwork 多代理框架，成功解決 7 項數學未解難題

Google 宣布推出最新模型 Gemini 3.7 Flash，並在 Antigravity 中更新 Teamwork 多代理協作框架。Teamwork 允許 AI 代理在數小時至數天內自主提案、審查並改進彼此的工作，目前已透過 `/teamwork-preview` 指令向所有付費方案用戶開放。在數學與理論電腦科學領域，該框架成功解決包含稀疏凸最佳化、子空間近似與 Knuth 循環猜想（於 Lean 驗證）等 7 項未解難題，並在 TCSBench 取得 71% 的內部最高分。在系統工程與開源軟體方面，Teamwork 打造出能從零啟動作業系統的週期精確 RISC-V CPU 模擬器，並將效能最佳化程式碼直接貢獻至 Eigen 與 ParlayHash 等上游函式庫。該框架將編排邏輯與代理描述分離，提供包含迭代寫程式（Iterative Coding）、長篇證明（Long Proof）與自我驗證（Self-Verification）等多種模式，系統會根據提示詞動態決定生成的代理數量與團隊架構。