OpenAI впервые раскрыла Astra — ИИ-модель решила десять задач, над которыми математики бились десятилетиями
Компания OpenAI впервые официально раскрыла информацию о новом семействе ИИ-моделей под кодовым названием Astra. Во время внутренних тестов её ранняя версия справилась с десятью сложнейшими открытыми задачами в области математики, квантовой сложности и теоретической информатики, над которыми мировое научное сообщество безрезультатно билось от десяти лет до нескольких десятилетий. 
Архитектура для длительных вычислительных процессов
Суть архитектуры Astra заключается в создании модели для продолжительных и ресурсоёмких рабочих процессов (long-running workloads). Она способна удерживать контекст и выполнять задачу часами, а также координировать работу нескольких ИИ-агентов параллельно. Этот подход кардинально отличается от традиционных LLM, ориентированных на быстрые ответы в диалоговом режиме.
Спектр решённых задач
Десять решений касаются таких фундаментальных и сложных областей, как:
- высшая геометрия;
- теория групп — включая первое в истории построение несофической группы;
- теория кодирования;
- квантовая сложность;
- экстремальная комбинаторика.
Все результаты опубликованы с приложенными формализованными доказательствами на языке Lean 4 и выложены на GitHub. Это позволяет любому математику проверить правильность доказательства через компилятор без необходимости слепо доверять выводы ИИ. 
Экономичность и верифицируемость
По данным компании, затраты на генерацию токенов для всех десяти решений составили эквивалент всего около $2 000 по текущим тарифам API. Использование машиночитаемых сертификатов Lean знаменует собой серьёзный сдвиг в сторону верифицируемого ИИ-поиска — подхода, когда правильность результата гарантируется формальным верификатором, а не репутацией модели.
Реакция индустрии и споры
Анонс вызвал бурные обсуждения в научном сообществе. Исследователи из конкурентной компании Anthropic заявили, что с помощью их общедоступной модели Claude им удалось самостоятельно воспроизвести решения половины из этих задач менее чем за сутки. Данное заявление добавило остроты дискуссии о реальной новизне достижений Astra и роли архитектуры модели против качества обучающих данных.
Перспективы релиза
Официальный отчёт с разбором решений и кодом доступен на корпоративном блоге OpenAI Research. Сроки полноценного публичного релиза самой модели Astra пока не объявлены — она проходит этап внутренних проверок и оценки безопасности. 