OpenAI анонсировала Astra — модель, которая решает нерешённые математические задачи

OpenAI работает над новой модельной семьёй под названием Astra. Её главная особенность — способность координировать несколько AI-агентов, которые работают над сложной задачей часами и даже днями. CEO компании Сэм Альтман уже провёл демонстрацию для политиков и регуляторов в Вашингтоне.

Что Astra уже умеет

OpenAI опубликовала примеры работы Astra: модель решила десять математических задач, которые ранее не поддавались AI-системам. Затраты на генерацию решений составили около $2 000 по текущим API-тарифам модели Sol. После того как Astra выдала математические аргументы, исследователи OpenAI помогли оформить их в виде научных статей, а сама модель дополнительно проверила доказательства в системе Lean — это формальный язык, который позволяет математически гарантировать корректность доказательства.

Как сообщает The Information со ссылкой на три источника, знакомых с планами компании, Astra станет отдельным модельным семейством наряду с существующими Sol, Terra и Luna. При этом пока не решено, выйдет ли она как GPT-6 или как вариант линейки GPT-5 — например, GPT 5.7.

Зачем это нужно

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

Математика выбрана как первый демонстрационный домен потому, что решения там можно строго проверить. Если модель утверждает, что доказала теорему, это либо верно, либо нет — промежуточных состояний нет. Формальная система Lean, которую Astra использует для проверки доказательств, работает как математический компилятор: если доказательство проходит — оно математически корректно.

Зачем Альтман повёз Astra в Вашингтон

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

Что дальше

OpenAI не называет дату релиза. Решение о том, выйдет ли Astra как GPT-6 или как GPT 5.7, тоже пока не принято. Независимо от имени, это будет существенно другой продукт: не чат-бот для быстрых вопросов, а система для долгих исследовательских проектов с участием нескольких агентов. Для массового пользователя прямого доступа, вероятно, не будет — скорее всего, Astra будет предлагаться через API — программный интерфейс для корпоративных клиентов и научных институтов. Пока же компания продолжает наращивать присутствие в Вашингтоне, демонстрируя готовность работать в рамках регуляторного поля.

О запуске GPT-5.6 и процессе получения одобрения от властей США мы подробно рассказывали. О том, как OpenAI использовала ограничения для демонстрации ответственного подхода, писали в отдельном материале.