Команды агентов Google на Gemini 3.7 Flash решили семь открытых математических задач

Google утверждает, что команды ИИ-агентов на Gemini 3.7 Flash решили семь открытых задач из математики и теоретической информатики. Среди них — гипотеза Кнута о циклах. Её доказательство занимает больше 40 страниц и проверено в системе Lean, где каждый шаг автоматически проверяет компьютер.

Агенты работали в Teamwork — части среды разработки Antigravity. Там несколько агентов часами или даже днями вместе бьются над одной задачей: предлагают решения, критикуют друг друга и переделывают. Недавно Google обновила Teamwork, а в августе выпустила саму Gemini 3.7 Flash — быструю и недорогую модель для кода и агентов.

Остальные решённые задачи касаются разреженной выпуклой оптимизации, квантизации языковых моделей с доказуемыми гарантиями и разложения префиксных матриц. По словам Google, эти задачи ставились на крупных конференциях и в журналах вроде FOCS и JMLR. На тесте TCSBench по теоретической информатике связка набрала 71%.

Второй пример — инженерный. Агенты с нуля написали симулятор процессора RISC-V с внеочередным исполнением команд, который точно воспроизводит работу процессора такт за тактом. На нём загружается учебная операционная система xv6 — вплоть до командной строки. Расхождение с настоящим железом по числу тактов — 0,71%.

Наконец, агенты ускорили две популярные библиотеки с открытым кодом, и их правки приняли в основные версии. В математическую библиотеку Eigen попали быстрые ветки на векторных инструкциях процессора. Хеш-таблица ParlayHash стала вставлять данные вдвое быстрее и расходовать на четверть меньше памяти.

Все результаты Google приводит сама, подробности вынесены в блог Antigravity. Сколько времени и вычислительных мощностей ушло на каждую задачу и насколько работе помогали люди, в анонсе не сказано.