Компания OpenAI впервые официально рассказала о новой серии моделей Astra. По словам разработчиков, внутренняя версия системы смогла решить десять нерешённых задач в области математики и теоретической информатики, над которыми специалисты безрезультатно трудились не менее десяти лет.
В число полученных результатов вошло доказательство существования несофических групп, закрывающее один из старых вопросов современной теории групп. Исследования затронули несколько направлений, включая многомерную геометрию, теорию кодирования, квантовую сложность, решёточную криптографию и экстремальную комбинаторику. После этого специалисты OpenAI вместе с Astra подготовили научные публикации, а доказательства перевели в формальную систему Lean для автоматической проверки.
Научное сообщество уже назвало это достижение одним из наиболее значимых событий последних месяцев. Вместе с тем в OpenAI отмечают, что модели удалось решить не все поставленные задачи: в частности, ни одна из «Проблем тысячелетия» пока не была преодолена. Компания также считает некорректным приписывать подобные результаты исключительно людям, если основные математические идеи были сформированы самой моделью. Поэтому вклад Astra в опубликованные исследования был официально признан.