OpenAI впервые официально подтвердила существование новой модели искусственного интеллекта Astra, которую называет «следующим большим семейством моделей». По данным компании, во время внутренних тестов система помогла найти решение для десяти открытых математических и теоретических задач, над которыми ученые безуспешно работали по меньшей мере десять лет. Результаты относятся к таким областям, как теория групп, криптография, теория кодирования, комбинаторика и квантовая информатика.
Одним из наиболее заметных достижений стало создание первого примера несофической группы — математического объекта, существование которого долгое время оставалось открытым вопросом. Полученные результаты уже привлекли внимание научного сообщества. Математик Томас Блум из Манчестерского университета назвал их важным событием, хотя отметил, что такие успехи не означают быстрой замены математиков искусственным интеллектом.
В OpenAI рассказали, что после получения решений исследователи вместе с Astra подготовили полноценные научные статьи, а все доказательства были проверены с помощью системы Lean, которая позволяет машинно подтверждать правильность математических доказательств. Компания также опубликовала пошаговое описание логики работы модели, подчеркнув, что финальная ответственность за научные публикации остается за исследователями.
По словам одного из разработчиков Astra Ноама Брауна, модель уже опробовали на других известных математических проблемах, однако задачи тысячелетия ей пока не подчинились. OpenAI планирует продолжить исследование и впоследствии опубликовать подробный технический отчет о новой системе. Ожидается, что Astra станет отдельным семейством моделей наряду с Sol, Terra и Luna, а ее коммерческий запуск состоится после завершения внутреннего тестирования.