Модель Astra від OpenAI вирішила десять складних відкритих математичних задач
Модель Astra від OpenAI успішно вирішила десять складних математичних задач, які залишалися недоказаними протягом десятків років. Це відкриття демонструє величезний потенціал нової мультиагентної моделі.
Модель Astra від OpenAI вирішила десять складних відкритих математичних задач
Більшість з цих задач залишалися недоказаними протягом десятків років. Нова мультиагентна модель Astra змогла довести їх і формалізувати докази за допомогою Lean. Цю модель на цьому тижні Сем Альтман представив у Вашингтоні, це буде перша модель, яка пройде через новий процес державного схвалення на реліз.
Найбільш вражаюче — на рішення всіх десяти задач сумарно пішло токенів менше ніж на $2000, за оцінками Sol. OpenAI намагалися вирішити й інші складні задачі, поки що безуспішно, але потенціал масштабування тут величезний.
Чому це важливо
АналітикаЦе важливо, оскільки успіх моделі Astra відкриває нові можливості для автоматизації математичних доказів, що може суттєво вплинути на наукові дослідження та освіту.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками
Пов'язані матеріали екосистеми
Практичні гайди, термінологія та агентські скіли
Чотири поради щодо резюме від керівника напрямку прикладного ШІ в OpenAI
Керівник напрямку прикладної розробки ШІ в OpenAI Вульфі Бейн назвав чотири ключові правила резюме: стислість, релевантність, акцент на результатах і правильний порядок досягнень.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 і зміни тарифів OpenAI та Anthropic
Огляд свіжих новин AI: оновлення великих мовних моделей, зміни підписок OpenAI та Anthropic, а також нові world-моделі, відеогенератори й корпоративні фінансові деталі.
GPT-6 Astra: гайд по новій моделі OpenAI
Повний огляд флагманської моделі GPT-6 Astra: агентна архітектура, можливості Computer Use, кодинг у Codex, бенчмарки кібербезпеки, тонкощі промптингу та гайд із міграції API.
OpenAI GPT (Флагманські моделі серії GPT)
Головна універсальна лінійка великих мовних моделей від OpenAI (GPT-4, GPT-4o). Оптимізована для складного текстового аналізу, програмування, творчості та щоденної інтелектуальної роботи.