OpenAI представила модель Astra, которая решила 10 открытых задач по математике и информатике

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

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

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

По подсчетам OpenAI, все вычисления для решения 10 задач обошлись бы примерно в $2000, если использовать API модели Sol по обычным тарифам. После этого исследователи вместе с Astra оформили рассуждения модели в научные статьи. Саму модель попросили проверить каждое доказательство в специальной программе Lean — она позволяет убедиться, что доказательство верное, без ручной проверки человеком. OpenAI также показала пошаговые записи того, как модель рассуждала над каждой задачей.

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

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

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

Источник: OpenAI