Google представила обновление платформы Antigravity, которое позволяет командам ИИ-агентов работать вместе, критиковать друг друга и искать решения сложных задач в течение нескольких часов или дней. В паре с моделью Gemini 3.7 Flash такая система показала впечатляющие результаты в математике и системной инженерии.
В области математики и теоретической информатики команды агентов решили семь открытых проблем из ведущих научных изданий, включая FOCS и JMLR. Среди них — гипотеза циклов Кнута, доказательство которой заняло более 40 страниц и было проверено в системе Lean. Также удалось добиться успеха в разреженной выпуклой оптимизации, доказуемой квантизации LLM и факторизации префикс-матриц. В тесте TCSBench система достигла результата 71%.
В системной инженерии агенты самостоятельно построили симулятор процессора RISC-V с точностью цикла, который загружает операционную систему xv6 до командной строки. Ошибка синхронизации циклов составила всего 0,71% по сравнению с реальным оборудованием.
Кроме того, разработка принесла практическую пользу open-source проектам. Оптимизации производительности были приняты в библиотеки Eigen (SIMD-пути) и ParlayHash (увеличение пропускной способности вставки в два раза при снижении потребления памяти на 25%).
Для разработчиков и исследователей это означает, что ИИ-агенты теперь могут не просто генерировать текст, а самостоятельно проводить сложные научные и инженерные работы, включая верификацию доказательств и создание рабочего кода.
