Алеся Чапкевич world 3 августа 2026, 13:04

Новая модель OpenAI Astra решила 10 математических задач, над которыми учёные бились больше десятка лет

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

Оставить комментарий

Новая модель OpenAI Astra решила 10 математических задач, над которыми учёные бились больше десятка лет

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

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

При этом суммарные затраты на генерацию токенов для решения этих 10 задач составили всего около $2 тысяч по тарифам Sol API.

Учёные-люди помогли оформить полученные аргументы в рукописи, после чего Astra сама формализовала каждый шаг на языке Lean для автоматической проверки доказательств.

Издание The Information подтвердило, что OpenAI действительно разрабатывает линейку моделей Astra. Текстовые агенты в ней умеют кооперироваться и параллельно решать разные части единой масштабной задачи.

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