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 (Флагманские модели серии GPT)
Основная универсальная линейка больших языковых моделей от OpenAI (GPT-4, GPT-4o). Оптимизирована для сложного текстового анализа, программирования, творчества и повседневной интеллектуальной работы.
Четыре совета по резюме от руководителя направления прикладного ИИ-разработки в OpenAI
Вульфи Бейн, руководитель направления прикладной ИИ-разработки в OpenAI, назвал четыре правила резюме: краткость, релевантность, акцент на результатах и вынос важных достижений на начало.
OpenAI планирует прекратить доступ к GPT в Cursor 12 ноября
Разработчикам, использующим GPT через Cursor, стоит заранее подготовиться к 12 ноября, когда OpenAI планирует закрыть этот доступ.
Codex Skills для начинающих: автоматизация рабочих сценариев ИИ-агента
Практическое руководство по созданию и использованию Skills в Codex: анатомия SKILL.md, явная и авто-активация, разница между навыками, скриптами и тулами, Skills API и настройка безопасности.