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 розв’язань, за API‑тарифами Sol — нинішньої флагманської моделі компанії — обійшлися б приблизно у $2 000.
Також читайте: OpenAI відвезла інфлюенсерів у фермерський курорт — і отримала жорстку відповідь від їхніх підписників
Математики оцінюють заяви Astra про доведення
Томас Блум, математик з Манчестерського університету, який веде публічну базу задач Ерьоша, назвав роботу великою новиною й оцінив її вище за геометричний результат, про який OpenAI повідомила у травні.
Він відкинув тезу, що машини «заміщують» його професію, нагадавши, що система навчалася на більш ніж столітті текстів, написаних математиками. Дослідник OpenAI Ноам Браун додав, що команда також намагалася — безуспішно — атакувати кілька інших відомих задач. Жодна задача рівня Millennium Prize не впала, але, за його словами, кожна спроба вимагала відносно небагато обчислювальних ресурсів, а сам підхід він назвав великим кроком уперед для наукового міркування.
Сем Олтман показав систему законодавцям у Вашингтоні минулого тижня, і саме 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