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

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

Согласно опубликованному отчёту OpenAI, новая модель продемонстрировала способность находить оригинальные математические идеи в нескольких фундаментальных областях науки. Среди них — многомерная геометрия, теория кодирования, теория групп, квантовая теория сложности вычислений, криптография на решётках и экстремальная комбинаторика.

Одним из наиболее заметных результатов стало построение первого примера так называемой несофической группы — математического объекта, существование которого долгие годы оставалось открытым вопросом. Это достижение может оказать существенное влияние на дальнейшее развитие современной теории групп и связанных с ней направлений математики.

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

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

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

Как отметил Браун, речь пока не идёт о знаменитых задачах тысячелетия — семи фундаментальных проблемах современной математики, за решение каждой из которых Математический институт Клэя выплачивает премию в размере одного миллиона долларов. С момента объявления конкурса в 2000 году полностью решена лишь одна из этих задач.

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

Интересно, что для поиска решений всех десяти задач потребовалось сравнительно небольшое количество вычислений. По оценке OpenAI, объём затраченных ресурсов соответствует примерно 2000 долларам при использовании коммерческого API модели Sol по действующим тарифам.

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

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

Ранее OpenAI уже сообщала о разработке нового семейства моделей, ориентированных на выполнение длительных цепочек рассуждений и решение комплексных научных задач. На этой неделе генеральный директор компании Сэм Альтман представил Astra представителям правительства и регулирующих органов США, отметив её способность координировать работу сразу нескольких специализированных ИИ-агентов при выполнении инженерных и исследовательских проектов.

По имеющейся информации, Astra станет частью нового семейства моделей OpenAI наряду с Sol, Terra и Luna. Коммерческое название будущего продукта пока не раскрывается. Компания также пообещала позднее опубликовать подробный технический отчёт, в котором объяснит архитектуру модели и методы, позволившие ей добиться столь значимых результатов.

Сейчас Astra проходит внутреннее тестирование и станет одной из первых моделей OpenAI, которая будет проверяться в рамках создаваемой в США системы оценки наиболее мощных ИИ-систем. Одной из ключевых задач разработчиков остаётся повышение надёжности моделей при выполнении продолжительных логических рассуждений, поскольку именно способность сохранять последовательность мышления считается одним из главных вызовов для современных агентных систем искусственного интеллекта.