Nvidia и AMD поднимают цены на видеокарты
01.08.2026Динамические места на поиске: полный разбор нового формата Яндекс Директа
05.08.2026
- OpenAI впервые подтвердила существование семейства ИИ-моделей Astra, которое станет следующим поколением после GPT-5. Но вместо бенчмарков компания показала решения десяти ранее нерешённых задач по математике и теоретической информатике, которые, по её утверждению, нашла внутренняя версия Astra.
- Среди них — решение нескольких задач с многолетним открытым статусом, включая доказательство существования несофических групп и опровержение гипотезы жёсткости Конна. Все результаты сопровождаются формально проверяемыми доказательствами в системе Lean, поэтому убедиться в их корректности может любой желающий. Сейчас решения проходят экспертную проверку.
- Основные идеи доказательств были найдены самой моделью. Затем исследователи с её же помощью оформили результаты в научные статьи. По оценке компании, поиск решений всех десяти задач обошёлся примерно в $2000 по нынешним API-тарифам GPT-5.6 Sol.
- Но самое интересное — не результаты, а архитектура новой модели. OpenAI позиционирует Astra как систему для длительной многоагентной работы: над сложной задачей могут часами совместно трудиться несколько специализированных агентов, координируя свои действия. Именно такой подход компания считает следующим рубежом развития ИИ.
- По сути, Astra создаётся не как очередной чат-бот, а как инструмент для самостоятельной исследовательской и инженерной работы. OpenAI рассчитывает, что такие модели смогут решать задачи, требующие планирования, длинных цепочек рассуждений и множества промежуточных шагов.
- При этом Astra, как ожидается, станет первой моделью OpenAI, которая перед публичным запуском пройдёт через новую процедуру предварительной проверки властями США. Так что вместе с новым поколением моделей начнётся и новая эпоха их государственного контроля
