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