OpenAI представила новое крупное семейство моделей — Astra, через 10 решённых математических задач, на фоне того, как китайские open-weight конкуренты стремительно наращивают долю в глобальном трафике ИИ.
Ключевые факты:
- OpenAI объявила об Astra 1 августа в исследовательской работе, в которой заявила о решении 10 задач, остававшихся открытыми не менее десятилетия.
- У модели нет даты релиза, нет окончательного названия, а перед запуском она должна пройти новую федеральную процедуру рассмотрения.
- Китайские open-weight модели уже забирают большинство маршрутизируемых токенов, хотя почти все реальные расходы по‑прежнему приходятся на американские лаборатории.
Astra решает 10 открытых математических задач
Компания дала имя модели 1 августа в научном посте по математике, а не в продуктовом анонсе.
Внутренняя версия Astra получила новые результаты по десяти задачам в математике и теоретической информатике, каждая из которых оставалась нерешённой не менее десяти лет.
OpenAI опубликовала 249‑страничную рукопись и машинно проверяемые сертификаты доказательств в Lean 4 на GitHub под открытой лицензией.
Главный результат — первое явное построение не-софической группы, ответ на вопрос в теории групп, остававшийся открытым с 1999 года. По оценкам исследователей, вычислительные затраты на все 10 решений в пересчёте на действующие API‑тарифы Sol, флагманской модели компании, составили бы около 2 000 долларов.
Также по теме: OpenAI свозила инфлюенсеров на загородный курорт, но их аудитория резко отреагировала
Математики оценивают заявления Astra о доказательствах
Математик Манчестерского университета Томас Блум, который ведёт публичную базу задач Эрдёша, назвал работу крупным событием и поставил её выше геометрического результата, объявленного OpenAI в мае.
Он отверг тезис о том, что машины вытесняют его профессию, напомнив, что система обучалась на более чем столетнем корпусе текстов самих математиков. Исследователь OpenAI Ноам Браун отметил, что команда также пыталась — безуспешно — решить ряд других знаменитых задач. Ни одна из задач тысячелетия взята не была, однако, по его словам, каждая попытка требовала относительно скромных вычислительных ресурсов, а сама программа стала крупным шагом в развитии научного рассуждения ИИ.
Сэм Альтман предварительно представил систему законодателям в Вашингтоне на прошлой неделе, и именно Astra, по всей видимости, станет первой моделью, проходящей проверку по новой федеральной процедуре. Компания не объявила дату выхода и ещё не решила, выйдет ли семейство под брендом GPT‑6 или как очередной вариант GPT‑5.
Китайские open-weight модели меняют структуру спроса на токены
Вопрос сроков критичен: лагерь open-weight перестал ждать, пока американские лаборатории зададут новую планку.
Глава Nvidia Дженсен Хуанг в прошлом месяце консолидировал вокруг идеи открытых весов несколько крупнейших американских технологических компаний, тогда как руководитель Anthropic Дарио Амодеи публично выступил за обязательные тесты безопасности и ужесточение экспортного контроля над чипами.
Moonshot AI в июле представила модель Kimi K3 с 2,8 трлн параметров и открытыми весами — её позиционируют как крупнейшую на сегодня open-weight модель.
На платформе OpenRouter доля токенов, маршрутизируемых к американским моделям, за год упала примерно с 70% в июне 2025 года до около 30%. При этом в одном из крупных корпоративных шлюзов в июне американские лаборатории по‑прежнему собирали около 95% выручки — и именно этот разрыв в доходах Astra теперь предстоит защищать.
Читайте далее: Dogecoin тестирует уровень $0,05 перед возможным ростом к $0,12