OpenAI Astra вирішила 10 відкритих математичних задач
OpenAI Astra досягла значних успіхів, вирішивши десяток відкритих математичних задач, деякі з яких були актуальні протягом 40-50 років.
OpenAI Astra вирішила 10 відкритих математичних задач, деякі з яких були актуальні протягом 40-50 років.
OpenAI нещодавно опублікували великий пост про це, виклавши всі докази в Lean та хід міркувань моделі. Сумарно на пошук рішень було витрачено токенів приблизно на $2000 за цінами Sol.
Серед результатів, зокрема, доказ існування несофічних груп та упаковка сфер у високих розмірностях.
Існування несофічних груп протягом 20 років було центральним питанням теорії груп та операторних алгебр. А упаковка сфер – це одна з найвідоміших задач дискретної геометрії. До сих пір точне рішення було відомо лише в деяких розмірностях, а за 8-мерний та 24-мерний випадки Марина Вязовська отримала Філдсовську медаль.
Крім того, у списку рішення задачі Ердеша №183 про мультиколірні числа Рамсея, спростування гіпотези жорсткості Конна, гіпотеза Ерхарта про об'єм та інші.
Про саму модель деталей мало. Ймовірно, це велика модель з сімейства GPT-6 (або GPT-5.7), та сама, яка зламала HuggingFace. Судячи з усього, саме її Альтман презентував у Білому Домі на цьому тижні.
Чому це важливо
АналітикаЦе важливо, оскільки досягнення OpenAI в математиці демонструє потенціал штучного інтелекту в розв'язанні складних наукових задач. Вирішення таких задач може мати значний вплив на розвиток математики та суміжних наук.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками
Пов'язані матеріали екосистеми
Практичні гайди, термінологія та агентські скіли
Чотири поради щодо резюме від керівника напрямку прикладного ШІ в 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). Оптимізована для складного текстового аналізу, програмування, творчості та щоденної інтелектуальної роботи.
Профіль Hermes: OSINT-дослідник та глибокий веб-ресьорч
Профіль аналітика відкритих джерел (OSINT) Hermes: багатоетапний інтернет-пошук, верифікація першоджерел, конкурентна розвідка та фактчекінг.