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