OpenAI представила Astra — ИИ, решивший десяток математических задач без прогресса более 10 лет

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

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

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

По данным Dev.by.