OpenAI представила результаты работы закрытой модели Astra над десятью давними математическими задачами. Система охватила теорию групп, многомерную упаковку сфер, коды коррекции ошибок, сложные сети и квантовую теорию игр.
Компания опубликовала более 250 страниц с доказательствами и еще около 60 страниц с описанием поиска решений. Результаты проверили с помощью Lean — программы, которая формально подтверждает корректность математических доказательств.
Математики считают задачи серьезными. Джеймс Мейнард, профессор Оксфорда и лауреат Филдсовской премии, отметил, что над вопросами такого уровня исследователи уже безуспешно работали годами. Сотрудник Лондонского института математических наук Ян-Хуэй Хэ сравнил происходящее с фазовым переходом: за последние месяцы ИИ начал выдавать значимые результаты, а не только эффектные демонстрации.
Но вокруг одного из доказательств возник спор об авторстве. Astra показала существование не-софических групп — бесконечных структур, которые нельзя приблизить конечными. Математик Франческо Фурнье-Фачо заявил, что OpenAI преуменьшила вклад недавних работ Андреаса Тома и Габора Куна, а Кун отдельно раскритиковал формулировку первой версии анонса, создававшую впечатление, что существенного прогресса по задаче не было не менее десяти лет.
После критики компания изменила формулировку и признала роль предыдущих исследований. OpenAI теперь говорит не только о решенных задачах, но и о случаях «существенного прогресса».
По оценке OpenAI, генерация десяти итоговых решений стоила бы около $2 тыс. по действующим тарифам API. Реальные расходы могли быть выше из-за неудачных попыток. Для небогатых университетов даже такая цена заметна, а Astra остается закрытой моделью.
ИИ уже умеет выполнять работу, которая раньше могла стать основой диссертации или академической карьеры. Теперь математическому сообществу предстоит определить, кто получает доступ к этим инструментам и кому принадлежит результат, собранный из десятилетий человеческих исследований.
