OpenAI готовит Astra — новое семейство моделей для длительных задач, где несколько ИИ-агентов работают над одним проектом.

По словам компании, модель смогла получить 10 новых результатов по давно открытым задачам в математике, квантовой теории сложности и теоретической информатике.

Среди них:
– Построена первая явная несофическая группа.
– Опровергнута гипотеза жёсткости Конна.
– Доказана теорема о квантовом параллельном повторении для общего случая двухпользовательских игр с запутанностью.
– Доказана гипотеза об объёме Эрхарта.
– Получено первое улучшение общей оценки экспоненты упаковки сфер с 1978 года.

Ключевые идеи доказательств сгенерировала Astra. Затем модель формализовала их в Lean, получив машинно-проверяемые сертификаты доказательств и рукопись объёмом 249 страниц. А стоимость успешного запуска составила около $2 000 по тарифам Sol API.

Похоже именно её Альтман презентовал в Белом Доме на этой неделе. Внутри OpenAI пока не решили, выйдет ли эта модель как GPT-6 или GPT-5.7.

Сейчас она проходит этап «Trump testing». 🙄