Агентные кейсы
Безопасность, наука и железо

Открытые математические задачи в многоагентной среде Station

Авторы статьи на arXiv построили Station, открытую среду, где ИИ-агенты разных семейств моделей сами ведут исследования. На пяти задачах они получили результаты, новые по сравнению с опубликованной литературой.

Сделано со своим агентом


Что сделали

Авторы построили Station, открытую среду, в которой ИИ-агенты из разных семейств моделей работают над общей исследовательской целью. Центрального координатора и заранее заданного конвейера нет. Агенты сами выбирают направления, ставят эксперименты, сотрудничают и пополняют общую базу публикаций. Систему проверили на 12 задачах на построение из каталога AlphaEvolve и на двух отдельных разборах.

Что получилось

На пяти задачах результаты оказались новыми по сравнению с прежней литературой. Это семейство Какеи над конечным полем, конфигурации из 604 точек в задаче о контактном числе в размерности 11, рекорды для дискретизированной задачи об игле Какеи и для принципа неопределённости знаков, а также улучшенная оценка в задаче Эрдёша о минимальном перекрытии. Агенты ещё нашли семейства для книжных чисел Рамсея и написали объясняющие теоремы.

На что обратить внимание

Авторы выложили исходный код, сырые диалоги агентов, доказательства и код проверки, так что можно посмотреть, как появился каждый результат.

Пояснение

AlphaEvolve это система Google DeepMind для поиска алгоритмов и математических построений. Её каталог задач служит ориентиром, на котором сравнивают такие системы.

Кому пригодится

Математикам и исследователям ИИ, которым интересно, могут ли агенты без жёсткого сценария получать новые научные результаты.

Попробуйте сами

Изучи открытую математическую задачу [название или описание задачи] и сделай обзор того, что о ней известно, включая свежие частичные результаты. Затем предложи три перспективных подхода, проведи небольшой вычислительный эксперимент хотя бы для одного и опиши, что нашёл. В конце дай сводку, где проверенные результаты отделены от догадок, со ссылками на источники.

Нужна помощь с запуском? Вступайте в сообщество AI Pack ↗

Читать оригинал ↗

Источник: arxiv.org ·

Похожие кейсы

Поиск уязвимостей бизнес-логики и PR с исправлениями от Devin Security

Cognition описывает, как параллельные агенты Devin разбирают кодовую базу, ищут ошибки бизнес-логики и обходы авторизации, подтверждают их в песочнице и открывают PR с исправлениями. Цифры взяты из бенчмарка самого разработчика.

Поиск эксплойтов в смарт-контрактах агентами Claude на $4,6 млн в симуляции

Красная команда Anthropic проверила, как ИИ-агенты, в том числе Claude, находят и эксплуатируют уязвимости в смарт-контрактах. В симуляции они взломали 207 из 405 контрактов, а на новых контрактах нашли эксплойты на $4,6 млн.

Починка формальных доказательств сборщика мусора CertiGC с Codex

Автор статьи на arXiv чинил с помощью Codex доказательства на Rocq для верифицированного сборщика мусора CertiGC. Локальный ремонт агенту удался, но проверять, что его инварианты сохраняют спецификацию, пришлось человеку.

Разбор ROM игры River Raid для Atari через Claude и Ghidra MCP

Автор подключил Claude к Ghidra через MCP и вместе с ним разобрал ROM игры River Raid для Atari. Код уменьшения жизней агент нашёл, патч на один байт заморозил счётчик жизней, но игру Claude сначала спутал с Centipede.