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-технологий, которые могут решать сложные математические задачи, оставшиеся нерешенными на протяжении десятилетий. Такие достижения могут оказать значительное влияние на науку и инженерию.

Обсудить в сообществе

Делитесь опытом и мыслями с ИИ-разработчиками

Telegram-сообщество
+5 Points
← Назад к новостям

Связанные материалы экосистемы

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

Новость

Четыре совета по резюме от руководителя направления прикладного ИИ-разработки в OpenAI

Вульфи Бейн, руководитель направления прикладной ИИ-разработки в OpenAI, назвал четыре правила резюме: краткость, релевантность, акцент на результатах и вынос важных достижений на начало.

Новость

Сэм Альтман переименовал аккаунт в X в Ram Altman

Сэм Альтман изменил отображаемое имя своего аккаунта в X на Ram Altman.

Термин в глоссарии

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

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

Практический гайд

Codex Skills для начинающих: автоматизация рабочих сценариев ИИ-агента

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