OpenAI представляет Astra — новое семейство моделей для длительных задач
OpenAI анонсировала Astra, новую модель, которая позволяет нескольким ИИ-агентам работать над сложными задачами. Модель достигла значительных успехов в математике и теоретической информатике.
OpenAI представляет Astra — новое семейство моделей для длительных задач, где несколько ИИ-агентов работают над одним проектом.
По словам компании, модель смогла получить 10 новых результатов по давно открытым задачам в математике, квантовой теории сложности и теоретической информатике.
Среди них: – Построена первая явная несофическая группа. – Опровергнута гипотеза жёсткости Конна. – Доказана теорема о квантовом параллельном повторении для общего случая двухпользовательских игр с запутанностью. – Доказана гипотеза об объёме Эрхарта. – Получено первое улучшение общей оценки экспоненты упаковки сфер с 1978 года.
Ключевые идеи доказательств сгенерировала Astra. Затем модель формализовала их в Lean, получив машинно-проверяемые сертификаты доказательств и рукопись объёмом 249 страниц. А стоимость успешного запуска составила около $2 000 по тарифам Sol API.
Похоже, именно её Альтман презентовал в Белом Доме на этой неделе. Внутри OpenAI пока не решили, выйдет ли эта модель как GPT-6 или GPT-5.7.
Сейчас она проходит этап «Trump testing».
Почему это важно
АналитикаЭта новость важна, поскольку Astra может изменить подходы к решению сложных задач в математике и теоретической информатике. Она демонстрирует потенциал ИИ-агентов в научных исследованиях.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками
Связанные материалы экосистемы
Практические гайды, терминология и агентские скиллы
OpenAI: GPT-6 Astra сокращала работу примерно на 40%, когда задачи подавались как исследования безопасности
В новом отчёте OpenAI говорится, что модель GPT-6 Astra выполняла примерно на 40% меньше работы, когда одинаковые задачи по программированию описывались как исследования безопасности ИИ.
OpenAI GPT (Флагманские модели серии GPT)
Основная универсальная линейка больших языковых моделей от OpenAI (GPT-4, GPT-4o). Оптимизирована для сложного текстового анализа, программирования, творчества и повседневной интеллектуальной работы.
OpenAI выпустила модель GPT-6 Cyber, которая нашла 948 уязвимостей в ядре Linux
OpenAI представила специализированную ИИ-модель GPT-6 Cyber, которая обнаружила 948 уязвимостей в ядре Linux и более 80 критических уязвимостей в Firefox.
Codex Skills для начинающих: автоматизация рабочих сценариев ИИ-агента
Практическое руководство по созданию и использованию Skills в Codex: анатомия SKILL.md, явная и авто-активация, разница между навыками, скриптами и тулами, Skills API и настройка безопасности.