OpenAI впервые приоткрыла информацию о новой ИИ-модели Astra, пока не покинувшей стен исследовательской лаборатории компании. В ходе внутренних испытаний система выдала решения десяти открытых математических задач, над которыми учёные безрезультатно работали многие годы.
Подтверждение этих выводов независимыми специалистами способно стать одной из самых громких новостей в истории применения ИИ для фундаментальной науки.
Astra появилась в исследовательской программе OpenAI вскоре после релиза семейства GPT-5.6. Модель пока закрыта для пользователей и проходит внутренние проверки, а первые её результаты уже привлекли пристальное внимание научного сообщества.
Для испытаний разработчики намеренно отказались от учебных примеров и синтетических тестов. Перед системой поставили открытые математические проблемы, остававшиеся нерешёнными более 10 лет и считающиеся одними из сложнейших в своих областях.
В перечень протестированных проблем вошли задачи из теории групп, среди которых оказался вопрос существования несофических групп, а также гипотеза жёсткости Конна из квантовой информатики. К ним добавились знаменитая геометрическая задача упаковки сфер, проблема ближайшего вектора, имеющая значение для постквантовой криптографии, ряд направлений теории кодирования и экстремальной комбинаторики, а также классические задачи, сформулированные выдающимся математиком Полом Эрдешем.
Сложная работа при этом не потребовала колоссальных вычислительных ресурсов. Специалисты OpenAI подсчитали, что при использовании инфраструктуры API GPT-5.6 Sol все расчёты обошлись бы примерно в 2000 долларов. Многие современные научные проекты требуют затрат в десятки и сотни тысяч долларов, поэтому такой показатель выглядит нехарактерно скромным для задач подобного уровня.
После завершения вычислений модель самостоятельно подготовила полноценные научные статьи и изложила доказательства в академическом формате. Каждое доказательство также переведено на формальный язык Lean, применяемый в современной математике для автоматической проверки корректности логических построений. Компьютер получает возможность самостоятельно удостовериться, что все шаги выполнены без ошибок и соответствуют строгим математическим правилам.
OpenAI уже выложила в открытый доступ подготовленные рукописи, сертификаты Lean и развёрнутые пояснения логики, которой следовала модель при работе над задачами. Начинается ответственный этап проверки полученных выводов.
