OpenAI заявила о прорыве Astra в математике

Вот последние новости с рынков цифровых активов: Внутренняя версия следующего семейства ИИ-моделей Astra от OpenAI получила 10 результатов в математике и теоретической информатике. На момент написания публичного доступа к ней нет. An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.

com/4cgowmPOpY— OpenAI (@OpenAI) August 3, 2026 Компания описала результаты как решение или существенный прогресс по давно открытым задачам в геометрии высоких размерностей, теории кодирования, арифметической схемной сложности, теории групп, квантовой сложности, решеточной криптографии и экстремальной комбинаторике. Что опубликовала OpenAI OpenAI выпустила 249-страничную работу, отдельные разборы хода рассуждений и репозиторий с формализациями доказательств на Lean 4. По словам разработчиков, математические аргументы сгенерировала внутренняя версия Astra.

Динамика рынка

Затем люди совместно с ней подготовили рукописи, после чего модель формализовала каждый аргумент в Lean-сертификат. «Мы считаем, что атрибуция должна честно отражать то, как был получен результат: приписывать человеку авторство доказательства, полностью сгенерированного ИИ-системой, означало бы искажать вклад системы и природу подлинной человеческой интеллектуальной работы», — заявили в OpenAI. Компания утверждает, что общий объем токенов, необходимый для поиска решений этих задач, стоил бы около $2000 по тарифам Sol API.

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

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

Влияние на рынки

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

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

The Quantum Insider связывает его с последствиями для декодирования и связанных с решетками норм, но это не означает атаки на уже развернутые постквантовые системы. Остальные результаты Главным результатом публикации OpenAI называет построение не-софической группы. Среди других заявленных достижений: улучшенные оценки для упаковки шаров в высоких размерностях; более сильные границы для бинарных и сферических кодов; новые нижние оценки в арифметической схемной сложности; результат по гипотезе Эрхарта об объеме.

Криптовалютные рынки внимательно следят за этим событием, а инвесторы оценивают его возможное влияние на цены.