Skip to main content
Всі новини
AI RADARМоделі
439•03.08.2026, 19:30•1 хв читання

OpenAI Astra вирішила 10 відкритих математичних задач

OpenAI Astra вирішила 10 відкритих математичних задач
Коротко про головне30 сек

OpenAI Astra досягла значного успіху, вирішивши 10 відкритих математичних задач, деяким з яких десятки років. Це підкреслює потужність нових AI-моделей у вирішенні складних проблем.

Внутрішня модель OpenAI Astra вирішила 10 відкритих математичних задач. Некоторим з них було по 40-50 років. OpenAI тільки що зробила про це великий пост, виклавши всі докази в Lean і хід роздумів моделі. Сумарно на пошук рішень пішло токенів…

OpenAI: ми взломали одну організацію
Anthropic: ха, ми взломали три

OpenAI: ми вирішили 10 відкритих математичних задач
Anthropic: ми вирішили половину з них за добу з Fable

Це не жарт, інженер з Anthropic дійсно через день після статті OpenAI заявив, що Fable з ходу вирішив половину з перерахованих задач без доступу в Інтернет.

Чому це важливо

Аналітика

Це важливо, оскільки демонструє прогрес у розвитку AI-технологій, які можуть вирішувати складні математичні задачі, що залишалися невирішеними протягом десятиліть. Такі досягнення можуть мати значний вплив на науку та інженерію.

Обговорити новину у спільноті

Діліться своїм досвідом та думками з ШІ-розробниками

Спільнота Андрія Орлова
+5 Points
← До стрічки новин

Пов'язані матеріали екосистеми

Практичні гайди, термінологія та агентські скіли

Новина

Чотири поради щодо резюме від керівника напрямку прикладного ШІ в OpenAI

Керівник напрямку прикладної розробки ШІ в OpenAI Вульфі Бейн назвав чотири ключові правила резюме: стислість, релевантність, акцент на результатах і правильний порядок досягнень.

Новина

AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 і зміни тарифів OpenAI та Anthropic

Огляд свіжих новин AI: оновлення великих мовних моделей, зміни підписок OpenAI та Anthropic, а також нові world-моделі, відеогенератори й корпоративні фінансові деталі.

Термін у глосарії

OpenAI GPT (Флагманські моделі серії GPT)

Головна універсальна лінійка великих мовних моделей від OpenAI (GPT-4, GPT-4o). Оптимізована для складного текстового аналізу, програмування, творчості та щоденної інтелектуальної роботи.

Практичний гайд

Codex Skills для початківців: як автоматизувати робочі сценарії ШІ-агента

Практичний посібник зі створення та використання Skills у Codex: анатомія SKILL.md, явна та авто-активація, різниця між навичками, скриптами й тулами, Skills API та налаштування меж безпеки.