Первоначально Anthropic и OpenAI пообещали организаторам вычислительные ресурсы на $1 млн каждая. Но после объявления Mathathon более 700 математиков и исследователей подписали открытое письмо с требованием отменить соревнование. Они опасаются, что гонка за быстрыми результатами породит поток плохо понятых AI-доказательств, переложит их проверку на научное сообщество и превратит математику в рекламный полигон для технологических компаний. После критики OpenAI отозвала поддержку.
Организаторы отступать не стали, но изменили правила. Все диалоги с ИИ планируют публиковать, использование моделей придется раскрывать, а лучшие команды после первых 40 часов получат еще шесть месяцев на осмысление и проверку результата. Итогом должны стать препринт на arXiv, презентация и формализованное доказательство. Сейчас сайт Mathathon указывает $600 тыс. кредитов Anthropic. Само соревнование пройдет в Caltech с 30 октября по 1 ноября.
Но самая сильная часть этой истории не про правила соревнования. Морено-Эрл признается, что успехи ИИ в математике его деморализовали: студент сегодня даже не знает, останутся ли привычные позиции в аспирантуре к тому моменту, когда он получит степень.
Старшие исследователи могут позволить себе обсуждать, каким должно быть правильное место ИИ в математике. Молодые входят в профессию, пока это место определяется.
«У нас нет роскоши ждать и смотреть, что получится», говорит Морено-Эрл.
