Сочетание Google Antigravity с Gemini 3.7 Flash решает заметные мультиагентные задачи по математике и инженерии

Сочетание Google Antigravity с Gemini 3.7 Flash решает заметные мультиагентные задачи по математике и инженерии. 31 августа 2026 года Google сообщила, что недавно выпустила обновления Teamwork — фреймворка в Google Antigravity, который позволяет автономным командам ИИ-агентов сотрудничать, критиковать работу друг друга и итерировать часами или днями над сложными долгосрочными задачами. Сочетание Gemini 3.7 Flash с этой мультиагентной оркестрацией ускорило решение задач в исследованиях и инженерии.

В исследованиях паттерн Long Proof в Teamwork решил семь открытых проблем на площадках уровня FOCS и JMLR. В списке — гипотеза циклов Кнута, проверенная в Lean с доказательствами на 40 с лишним страницах, а также sparse convex optimization, доказуемая квантизация LLM, prefix-matrix факторизации, coresets для Lp-аппроксимации подпространств и embeddings максимального внутреннего произведения. Пять получившихся статей выложены на arXiv. Эксперты подтвердили корректность результатов, кроме циклов Кнута, которые были формально верифицированы. Google также сообщает о 71% на TCSBench — внутреннем наборе по теоретической информатике — при использовании Gemini 3.7 Flash вместе с Gemini 3.1 Pro, лучшем результате во внутренних тестах. Три из семи задач воспроизвели с Gemini 3.7 Flash; Google называет это первым случаем, когда модель уровня Flash при правильной оркестрации дала математические исследования докторского уровня.

В системной инженерии агенты с нуля построили циклоточно точный out-of-order симулятор RISC-V CPU, который загружает операционную систему xv6 до оболочки, со средней ошибкой выравнивания циклов 0,71% относительно аппаратного эталона BOOM. В открытом ПО Teamwork внесла апстрим-оптимизации в Eigen — SIMD fast-path для GeMV с одной строкой или столбцом — и в ParlayHash, где изменения в духе Swiss Parlay дали двукратную пропускную способность вставок на 64 потоках и примерно на 25% меньше памяти на элемент.

Teamwork — это не фиксированный состав агентов. Gemini выбирает паттерн по запросу — Iterative Coding, Distributed Coding, Long Proof, Self-Verification или Document Review — и фреймворк может менять число агентов прямо во время запуска. Функция уже доступна как /teamwork-preview во всех платных тарифах Antigravity. Подробнее — в блоге Google Keyword и в более длинном материале в блоге Antigravity.