Агенты Gemini 3.7 Flash в Antigravity решают открытые математические задачи и собирают симулятор RISC-V

В посте blog.google от 31 августа рассказано о связке Gemini 3.7 Flash с multi-agent фреймворком Teamwork из Antigravity, который часами и днями гоняет cooperating-команды агентов. Система решила семь открытых задач из журналов и конференций уровня FOCS и JMLR (среди них гипотеза Кнута о циклах, верифицированная в Lean с доказательствами на 40+ страниц), набрала 71% на TCSBench, собрала cycle-accurate out-of-order симулятор CPU RISC-V, загружающий xv6 с ошибкой цикл-выравнивания 0,71%, и влила upstream-патчи по производительности в Eigen и ParlayHash.