OpenAI раскрыла детали модели Astra

Данная модель сделала десять математических открытий — и вызвала тревогу из-за своих кибервозможностей

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

1 августа OpenAI опубликовала результаты работы внутренней версии Astra. Модель получила десять давно известных нерешённых задач из математики и теоретической информатики. В одних случаях она полностью разрешила поставленный вопрос, в других — существенно продвинула исследование.

Работы затрагивают геометрию, теорию кодирования, квантовые вычисления, криптографию, теорию групп и комбинаторику.

Среди представленных результатов:

построен первый конкретный пример так называемой неcофической группы, существование которой долгое время оставалось открытым вопросом;
опровергнута гипотеза Конна о связи между группами и соответствующими им алгебрами;
получены новые ограничения для упаковки сфер и кодов, имеющих значение для передачи и хранения информации;
доказан результат о повторении квантовых игр;
получены новые оценки сложности задачи поиска ближайшего вектора, связанной с постквантовой криптографией;
решены три задачи из коллекции математических проблем Пала Эрдёша.

OpenAI опубликовала не только краткое сообщение, но и сборник доказательств объёмом более 250 страниц. Для каждого результата также подготовлен сертификат на языке Lean — системе, способной проверять логическую последовательность формализованного доказательства.

По заявлению компании, основные математические идеи были получены самой моделью. Люди помогали оформлять результаты в виде научных работ, после чего Astra переводила доказательства в формальную форму для машинной проверки.

OpenAI оценила объём вычислений, использованных в успешных попытках найти решения, примерно в 2 000 долларов по действующим тарифам GPT‑5.6 Sol. Эта сумма относится только к обработанным моделью токенам и не учитывает стоимость обучения Astra, инфраструктуры и работу исследователей.

По крайней мере один результат уже получил независимое продолжение. Математики Габор Кун и Андреас Том опубликовали новую работу, которая прямо опирается на предложенный OpenAI пример неcофической группы и развивает лежащий в его основе метод. Это ещё не завершённое рецензирование всего сборника, но важный признак того, что опубликованные идеи можно использовать в дальнейшей математической работе.

Другие возможности модели Astra

7 августа OpenAI сообщила, что последние внутренние испытания показали значительный рост способностей модели в программировании и кибербезопасности. Компания пока не может исключить, что Astra достигает установленного ею «критического» уровня кибервозможностей.

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

Это не означает, что Astra уже гарантированно обладает всеми перечисленными способностями. OpenAI подчёркивает, что оценка предварительная и тестирование продолжается. Однако результаты оказались достаточно серьёзными, чтобы компания усилила меры безопасности.

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

Компания отдельно уточнила, что Astra не участвовала в июльском инциденте с Hugging Face. Там использовались GPT‑5.6 Sol и другой внутренний исследовательский прототип, который не предназначался для выпуска.

Таким образом, Astra становится примером нового поколения искусственного интеллекта. Это уже не просто система, которая пересказывает известную информацию или решает учебные задачи. Модель способна формировать новые математические результаты, оформлять доказательства и выполнять продолжительные последовательности действий.

Одновременно именно такая самостоятельность превращает ИИ из обычного цифрового помощника в инструмент, требующий принципиально нового уровня контроля.

Название GPT‑6 для Astra официально не подтверждено. Дата выпуска, условия доступа и окончательные характеристики модели также пока не объявлены.

Источники

1 view·1 share

1 view