10 задач за $2000: ИИ Astra от OpenAI решил проблемы, над которыми ученые бились десятилетиями

Компания OpenAI сделала то, чего от нее ждали годами — впервые официально подтвердила существование нового семейства моделей искусственного интеллекта под названием Astra. И сразу показала результат, который можно назвать прорывом в науке: внутренняя версия Astra решила десять математических задач, остававшихся открытыми как минимум десятилетие.

Как сообщает NoWorries, компания опубликовала математический отчет с десятью доказательствами. Результаты охватывают сразу несколько сложных областей: высокомерную геометрию, теорию кодирования, теорию групп, квантовую сложность, решеточную криптографию и экстремальную комбинаторику.

Что именно доказала Astra

Одно из ключевых доказательств устанавливает существование несофических групп — это закрывает важный открытый вопрос в теории групп, над которым математики работали годами без заметного прогресса. Математик Томас Блум из Манчестерского университета назвал результаты «большой новостью» и оценил их как более значимые, чем контрпример к гипотезе о единичных расстояниях, опубликованный в мае.

По подсчетам OpenAI, токены, потраченные на генерацию всех десяти решений, обошлись бы примерно в 2000 долларов по тарифам API модели Sol. То есть цена одного математического прорыва — около 200 долларов. После того как модель изложила математические аргументы, люди вместе с ней оформили их в виде научных статей. Каждое доказательство также формализовали на языке Lean — это позволяет машинно проверять корректность каждого шага.

Что известно о самой модели

Astra разрабатывается как новое модельное семейство наряду с существующими семействами Sol, Terra и Luna. Ее главное отличие — способность координировать нескольких ИИ-агентов для решения сложных задач в течение часов или даже дней. То есть это не просто «умный чат-бот», а система, способная к длительной автономной интеллектуальной работе.

Исследователь Ноам Браун, один из разработчиков технологии рассуждения во время вывода результата, признал: компания пыталась, но пока не смогла решить семь задач тысячелетия Математического института Клэя — за каждую из них предусмотрена премия в миллион долларов. «Но мы и не тратили много ресурсов на каждую задачу. Есть возможность существенно увеличить вычисления во время вывода», — написал Браун, назвав Astra «большим шагом для научного рассуждения».

Когда Astra станет доступной

Генеральный директор OpenAI Сэм Альтман уже презентовал систему политикам и регуляторам в Вашингтоне, подчеркнув ее потенциал для работы над особо сложными задачами в науке и математике. По данным The Information, модели уже находятся на стадии тестирования. Ожидается, что именно Astra первой пройдет через новый американский регуляторный механизм администрации Трампа — он предусматривает обязательную подачу ИИ-моделей правительству перед публичным выпуском.

Точная дата выхода Astra для широкой аудитории пока не определена. Неясно и то, выйдет ли модель под брендом GPT-6 или как вариант в линейке GPT-5. Однако стратегия OpenAI уже очерчена: к марту 2028 года компания хочет создать полностью автономного ИИ-исследователя, способного самостоятельно проводить научные проекты. А уже в сентябре 2026 года планируется запуск системы уровня научного стажера — Astra может стать именно такой системой.

Ранее портал Знай сообщал, ChatGPT едва не убил пастора: OpenAI впервые судится из-за медицинских советов ИИ.

Также наш портал информировал, OpenAI бесплатно открывает GPT-5.6 для 100 тысяч ученых: что известно.