Google применила команды ИИ-агентов к математике, симуляции RISC-V и open source

Google раскрыла результаты обновлённой Teamwork — системы оркестрации автономных ИИ-агентов в платформе Antigravity. По данным компании, команды агентов получили семь математических результатов, построили тактово-точный симулятор RISC-V, загрузивший xv6, и подготовили оптимизации для Eigen и ParlayHash; при этом большая часть математических работ выполнена на Gemini 3.1 Pro, а три результата воспроизведены на Gemini 3.7 Flash.

Google представила результаты обновления Teamwork — многоагентной системы в платформе Antigravity для разработки. Она формирует команды автономных агентов, которые параллельно предлагают решения, проверяют и критикуют их, а затем повторяют цикл доработки в течение часов или дней.

Компания сообщила о семи результатах в математике и теоретической информатике, включая задачи по разреженной оптимизации, квантованию больших языковых моделей и матричным факторизациям. Основные результаты были получены с Gemini 3.1 Pro, а три из них затем воспроизвели с Gemini 3.7 Flash. Пять работ опубликованы на arXiv; шесть результатов проверили специалисты, а доказательства для двух упрощённых конструкций чётного случая гипотезы Knuth’s Cycles формально проверены в Lean.

В инженерном эксперименте Teamwork с Gemini 3.7 Flash с нуля создала тактово-точный симулятор процессора RISC-V с внеочередным исполнением. Он загрузил операционную систему xv6 до командной оболочки и выполнил более 100 стандартных тестов RISC-V. Среднее расхождение по числу тактов на ранее не использовавшихся нагрузках составило 0,71% относительно эталонных измерений BOOM.

Агенты также подготовили оптимизации для Eigen, библиотеки линейной алгебры на C++, и ParlayHash, конкурентной хеш-таблицы. Изменения прошли обычную проверку кода и были приняты в upstream-проекты. Предварительная версия Teamwork доступна по команде /teamwork-preview на платных тарифах Antigravity.