Когда выйдет Astra от OpenAI

Astra — следующее крупное семейство моделей OpenAI, представленное 1 августа 2026 года. Даты выхода у него нет, и это главное, что нужно знать: компания показала результаты работы модели, но саму модель не выпустила.

Что известно точно

OpenAI объявила Astra необычно. Вместо демонстрации нового чата или бенчмарков компания выложила решения десяти открытых задач математики и теоретической информатики — тех, по которым не было заметного прогресса как минимум десять лет.

При этом Astra остаётся недоступной. На начало августа 2026 у неё нет:

• даты релиза;
• цены и тарифов в API;
• карточки модели с описанием возможностей и ограничений;
• доступа в ChatGPT — ни для бесплатных пользователей, ни для подписчиков.

Модели в тестировании. Сэм Альтман демонстрировал Astra политикам и регуляторам в Вашингтоне, но это не публичный доступ.

Десять решённых задач

Результаты охватывают восемь областей: высокоразмерную геометрию, теорию кодирования, арифметическую сложность схем, теорию групп, операторные алгебры, квантовую сложность, решёточную криптографию и экстремальную комбинаторику. Среди конкретных тем — упаковка сфер в высоких размерностях, двоичные и сферические коды.

Два результата обсуждают отдельно:

Несофическая группа. Astra построила первый явный пример такой группы. Понятие софичности ввёл Михаил Громов в 1999 году, и вопрос о существовании несофической группы оставался центральным в теории групп с тех пор.

Гипотеза жёсткости Конна. Модель дала опровержение — задача относится к теории операторных алгебр и была открыта долгое время.

Кроме того, Astra получила новые нижние оценки для вычисления перманента с помощью арифметических схем.

Все решения — это новые математические результаты: конструкции, контрпримеры и оценки, которых профессиональные математики получить не смогли.

Почему доказательства можно проверить

Ключевая деталь, отличающая этот анонс от обычных заявлений о способностях ИИ: доказательства опубликованы на языке Lean и проверяются машиной.

Это снимает главное возражение к математическим результатам языковых моделей. Обычно текст доказательства выглядит убедительно, но содержит скрытый пробел, который находит только специалист после долгой проверки. Формальное доказательство в Lean либо компилируется, либо нет — третьего не дано.

Отдельно назвали стоимость: вычисления для всех десяти решений обошлись примерно в две тысячи долларов по тарифам API Sol.

Станет ли Astra шестой версией GPT

Вопрос открыт, и это официальная позиция, а не догадка. OpenAI описывает Astra как следующее крупное семейство моделей, но решение о названии не принято: это может быть GPT-6, а может быть версия вроде GPT-5.7.

Astra при этом описана как отдельный класс рядом с Sol, Terra и Luna — тремя моделями GPT-5.6 под разные типы задач. То есть новое семейство не заменяет существующие, а надстраивается над ними.

Подробнее о том, что это значит для ожидающих шестое поколение, — на странице «Когда выйдет GPT-6».

Как устроена Astra

Технических деталей OpenAI раскрыла мало. Известно, что система координирует работу нескольких агентов на длинной дистанции ради трудных задач.

Это объясняет способ анонса. Для математических доказательств ценна не скорость ответа, а способность вести многочасовое рассуждение, возвращаться к тупиковым ветвям и проверять себя. Задачи, которые не поддавались десять лет, — как раз тот случай, где длительность работы важнее беглости.

Что задерживает релиз

Помимо доработки самой модели, есть внешний фактор. По сообщениям, модели Astra станут первыми, кого проверят по планируемой регуляторной рамке американской администрации: она предполагает подачу frontier-моделей в федеральное ведомство до публичного выпуска.

Прецедент уже случался: публичный выход GPT-5.6 сдвигали из-за запроса на ранний доступ к передовым моделям со стороны администрации. Тогда речь шла о неделях. Для Astra процедура заявлена как более формальная, поэтому разрыв между анонсом и релизом может быть заметно длиннее.

Что делать сейчас

Пользоваться Astra нельзя — доступной модели просто не существует. Самая новая доступная модель OpenAI на август 2026 — GPT-5.6, вышедшая 9 июля: Sol для сложных задач, Terra для повседневных, Luna для массовых и простых.

Мы обновим эту страницу, как только появится любой из трёх признаков настоящего релиза: карточка модели, тарифы в API или доступ в ChatGPT.

За каким сигналом следить

Главный сигнал — публикация карточки модели с тарифами. До неё любая «дата выхода Astra» в новостях остаётся прогнозом, даже если заголовок говорит иначе.

Второй сигнал — сообщение о прохождении регуляторной проверки. Пока процедура не завершена, публичной даты не будет по формальным причинам, независимо от готовности модели.