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

Прорыв в математике и теории групп

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

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

Реакция научного сообщества

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

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

Технология и формализация доказательств

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

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

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

Будущее Astra и регуляторный контроль

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

По данным источников, Astra войдет в линейку продуктов наряду с моделями Sol, Terra и Luna. Коммерческое название пока не разглашается. Новые модели уже проходят внутреннее тестирование и станут первыми системами компании, которые будут проверяться в рамках разрабатываемой в США процедуры оценки передовых ИИ-моделей.

Главной задачей разработчиков остается обеспечение стабильной работы моделей при выполнении длительных цепочек рассуждений, что сегодня считается одним из основных ограничений агентных ИИ-систем.