OpenAI впервые официально подтвердила существование модели Astra, назвав её «следующим крупным семейством моделей». По данным компании, внутренняя версия помогла решить десять открытых задач математики и теоретической информатики.
Над этими задачами исследователи безуспешно работали как минимум десять лет, а в отдельных случаях — значительно дольше. Затем учёные вместе с Astra превратили полученные идеи в полноценные научные статьи.
Задачи относятся к многомерной геометрии, теории кодирования, теории групп, квантовой сложности, криптографии на решётках и экстремальной комбинаторике.
В частности, Astra построила первый пример несофической группы — объекта, существование которого математики обсуждали годами. Это может помочь в решении одной из фундаментальных проблем теории групп.
Все доказательства формализованы в системе Lean, совмещающей язык программирования и интерактивный инструмент проверки теорем. Так удалось получить машинно проверяемые результаты без ошибок ручной записи.
OpenAI опубликовала пошаговое описание рассуждений модели по каждому результату. В компании подчёркивают: ответственность за публикации несут исследователи, но сами математические идеи и логику доказательств предложила Astra.
По оценке компании, вычисления для всех десяти решений обошлись бы примерно в $2000 при использовании API модели Sol по текущим тарифам.
Один из разработчиков технологии рассуждений Ноам Браун сообщил, что попытки применить модель к другим известным открытым проблемам пока не удались.
«К сожалению, никаких задач тысячелетия (пока)», — написал он в X.
Математический институт Клэя платит по $1 млн за решение каждой из семи задач тысячелетия. С 2000 года решена лишь одна. Браун отметил, что значительных вычислительных ресурсов на них ещё не тратили, и назвал Astra «важным шагом вперёд в научных рассуждениях».
Математик Манчестерского университета Томас Блум назвал результаты «большой новостью», более значимой, чем майский контрпример к гипотезе о единичных расстояниях.
При этом Блум не считает, что ИИ скоро заменит математиков: современные системы построены на многолетнем труде сообщества и обучены на созданной им литературе.
Ранее Сэм Альтман представил Astra представителям правительства и регуляторов США, подчеркнув способность модели координировать работу множества ИИ-агентов при решении научных и инженерных задач.
Новые модели уже проходят внутреннее тестирование и станут первыми системами компании, проверяемыми в рамках разрабатываемой в США процедуры оценки передовых ИИ.
Главная задача разработчиков — стабильность при длительных цепочках рассуждений, что считается ключевым ограничением агентных систем.
По данным источников, Astra пополнит линейку наряду с Sol, Terra и Luna. Коммерческое название пока неизвестно. OpenAI обещает позднее выпустить подробный технический отчёт.