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 Вульфі Бейн назвав чотири ключові правила резюме: стислість, релевантність, акцент на результатах і правильний порядок досягнень.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 і зміни тарифів OpenAI та Anthropic
Огляд свіжих новин AI: оновлення великих мовних моделей, зміни підписок OpenAI та Anthropic, а також нові world-моделі, відеогенератори й корпоративні фінансові деталі.
Codex Skills для початківців: як автоматизувати робочі сценарії ШІ-агента
Практичний посібник зі створення та використання Skills у Codex: анатомія SKILL.md, явна та авто-активація, різниця між навичками, скриптами й тулами, Skills API та налаштування меж безпеки.