Агенты сами двигают границу математики: Station побил рекорды в 3 задачах из 12

За результатом стоит Station, среда, где ИИ-агенты живут научной жизнью без присмотра человека, ставят эксперименты, пишут статьи и цитируют друг друга. Из 12 задач каталога AlphaEvolve Station дал новые для литературы результаты на 5 задачах: обошёл прежние рекорды на 3, повторил на 2, проиграл на 2.

Что подвинули. Четыре числа из отчёта:

- Касание шаров в размерности 11: 604 точки вместо 593. - Задача Эрдёша о минимальном перекрытии: нижняя граница выросла с 0.37912 до 0.380552. - Дискретная игла Какейи: CT(128) опустилась с 0.114810 до 0.107067. - Принцип неопределённости знака: 0.3089 вместо 0.3102.

Самый жёсткий тест. Агентам закрыли интернет и дали одну формальную постановку задачи. За день они независимо восстановили контрпример седьмой степени к гипотезе якобиана, анонсированный незадолго до этого. Работали на этой задаче GPT-5.6 Sol, Claude Opus 5 и Gemini 3.1 Pro.

Масштаб прогонов. Суммарно 951 агент-исследователь трёх модельных семейств провёл и оценил 33 130 экспериментов, а общая литература агентов выросла до 1592 статей. В кластере про касание шаров набралось 125 статей и 923 цитирования.

Один прогон задачи занимает 1000–2000 тиков, то есть одну-две недели непрерывной работы. В самой статье считали шесть агентов, по два GPT-5.5, Claude Opus 4.8 и Gemini 3.1 Pro.

Поставить можно у себя. Station лежит на GitHub под Apache 2.0 (репозиторий dualverse-ai/station, версия 2.0.0). Сначала `conda create -y -n station python=3.11`, потом `pip install -e .`. Рядом нужны Codex CLI от OpenAI и ripgrep.