Google собрал ИИ-математика — и тот закрыл открытую задачу из Коуровской тетради

Google DeepMind представил AI co-mathematician — агентную систему на базе Gemini 3.1, которая работает не как чатбот, а как рабочее пространство для математика с командой ИИ-агентов. С ее помощью топологист Марк Лакенби закрыл проблему 21.10 из Коуровской тетради — сборника открытых задач по теории групп, который ведется в Новосибирске с 1965 года. Параллельно система поставила новый рекорд на самом сложном математическом бенчмарке FrontierMath Tier 4 — 48% правильных ответов.

Сама задача формулируется так: имеет ли каждая конечная группа "просто конечное" представление — такое, в котором удаление любого соотношения превращает группу в бесконечную. Лакенби загрузил вопрос в систему и попросил параллельно атаковать его с двух сторон, доказать и опровергнуть. Первый "доказательный" документ AI co-mathematician сам пометил как некорректный: один из агентов-ревьюеров нашел в аргументе дыру. Но Лакенби, прочитав текст, увидел в нем "очень-очень умную стратегию", а в критике ревьюера — подсказку, как закрыть пробел. Он указал направление в чате, и система собрала полное доказательство. Финальную версию математик дополнил примерами и прогнал через еще один круг ревью — агенты нашли и поправили две мелкие ошибки. Это уже не первое сотрудничество Лакенби с DeepMind: в 2021 году он работал с командой над открытиями в теории узлов.

Сама система — не диалоговый интерфейс, а рабочее пространство с иерархией агентов. На верхнем уровне сидит project coordinator: он общается с пользователем и распределяет работу. Под ним — координаторы воркстримов, каждый ведет одну линию исследования (обзор литературы, разработка вычислительной библиотеки, поиск контрпримера). На нижнем уровне — узкоспециализированные субагенты: поисковик по статьям,