выполняется. Сотрудник компании без серьёзной математической подготовки предложил модели заняться этой задачей, после чего оставил её самостоятельно координировать работу на ближайшие полтора дня. За это время модель перебрала 650 путей решения, управляя 60 субагентами и израсходовав 31 миллион выходных токенов. Среди субагентов 2 разработали основные математические решения, 13 генерировали для них новые варианты, 30 пытались, но не смогли предложить новых идей, 13 выполняли роль валидаторов, а ещё 2 помогали писать первоначальный вариант статьи. Результат был проверен двумя штатными математиками и формализован в системе доказательства теорем Lean. В последние годы модели искусственного интеллекта (ИИ) решили несколько задач Пала Эрдёша: модель Astra от OpenAI справилась с десятью из них, а другая модель Anthropic опровергла давнюю гипотезу о якобиане. Эти достижения вызывают в математическом сообществе одновременно воодушевление и тревогу — прежде всего из-за вопросов авторства и ответственности за корректность результатов; при этом некоторые считают, что теоремы вовсе не обязаны быть связаны с конкретными исследователями.