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

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

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

Какие задачи покорились Astra

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

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

«Общее количество токенов, необходимое для поиска решений этих задач, обошлось бы примерно в $2000 по тарифам Sol API», — отметили в OpenAI.

Как работает верификация решений

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

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

• Десять прорывных результатов в математике и computer science
• Формальная верификация через Lean-сертификаты
• Коллаборация нескольких AI-агентов
• Стоимость вычислений — от $2000 за задачу

Релиз под вопросом: GPT-5.7 или GPT-6?

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

Такая осторожность объясняется тем, что Astra уже квалифицируется как прорывная модель. Её способность самостоятельно двигать науку означает не только пользу, но и потенциальные риски при неконтролируемом использовании.

Читайте также: Компьютерные вирусы: что это, история, виды и как работают вредоносные программы

Источник: BleepingComputer