OpenAI впервые раскрыла детали о своей будущей модели Astra, которая пока официально не представлена.
По словам компании, во время внутренних испытаний, ИИ смог найти решения 10 математических задач, остававшихся нерешенными более 10 лет.
OpenAI передала результаты научному сообществу, которому предстоит проверить их корректность и оценить значимость.
Читают прямо сейчас:
Нерешённые математические задачи, на которых можно заработать — что такое открытые математические проблемы и почему их решение считается событием мирового масштаба
Как обучают нейросети: методы и алгоритмы — как модель вроде Astra обучается рассуждать в областях, где у людей десятилетиями не было прогресса
ИИкономика: токены, GPU и бигтех — кто реально контролирует ИИ — почему $2000 за 10 математических прорывов меняет саму экономику научных исследований
Astra проверили на самых сложных задачах
Для испытаний исследователи специально выбрали математические проблемы, по которым на протяжении как минимум 10 лет не удавалось добиться существенного прогресса.
Они охватывают сразу несколько областей науки: геометрию высоких размерностей, теорию кодирования, квантовую информатику, теорию групп, постквантовую криптографию и экстремальную комбинаторику.
На все открытия ушло около $2000 вычислений
В OpenAI подчеркнули, что для поиска всех 10 решений не потребовались колоссальные вычислительные ресурсы. По оценке компании, если бы аналогичные вычисления выполнялись через API GPT-5.6 Sol, их стоимость составила бы примерно $2000.
После получения результатов, Astra самостоятельно оформила доказательства в виде научных рукописей. Затем модель перевела каждое доказательство в формальный язык Lean, который позволяет автоматически проверить корректность математических рассуждений с помощью специализированной системы доказательства теорем.
Теперь слово за математиками
OpenAI уже опубликовала все материалы: научные статьи, сертификаты проверки Lean и подробные объяснения логики модели.
Теперь компания рассчитывает, что независимые исследователи внимательно изучат полученные результаты, подтвердят их правильность и смогут использовать предложенные идеи для дальнейших научных работ.
