OpenAI анонсировала Astra — модель, решившую десять давних математических задач

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

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

Что именно решено

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

Любопытная деталь для тех, кто следит за экономикой вычислений: по подсчётам компании, суммарное количество токенов, потребовавшихся для поиска решений всех этих задач, обошлось бы примерно в 2000 долларов по тарифам Sol API. То есть цена прорыва, если верить формулировке, сопоставима со скромной покупкой.

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

Под каким именем выйдет

Издание The Information независимо подтвердило, что OpenAI действительно работает над семейством Astra, ориентированным на длительные рабочие нагрузки. Модель описывается как достаточно мощная, чтобы ИИ-агенты могли совместно трудиться над разными частями одной большой задачи.

Окончательное название пока не выбрано: по данным BleepingComputer, релиз может состояться под маркой GPT-5.7, GPT-6 или под каким-то иным именем. Не исключён и сценарий в духе политики Anthropic, когда пользователям открывают одну версию, а доступ к более мощному варианту требует отдельного одобрения.

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

Источник: Bleeping Computer