Искусственный интеллект все активнее встраивается в научный процесс — и теперь речь идет не о помощи с черновиками или поиске литературы, а о решении фундаментальных задач. В компании OpenAI заявили, что ее экспериментальная модель Astra справилась с десятью проблемами, которые десятилетиями оставались без ответа в математике, квантовой теории сложности и теоретической информатике. Результаты пока не прошли полноценную экспертную оценку, но уже вызывают живой интерес у специалистов: если выводы подтвердятся, это станет заметной вехой в использовании ИИ для оригинальных исследований.
Среди достижений — доказательство квантового параллельного повторения. В классических системах многократное повторение игры снижает вероятность обмана экспоненциально, но для квантовых сценариев этот принцип долго не удавалось обобщить из‑за специфических корреляций между частицами. Astra смогла доказать экспоненциальное параллельное повторение для любой конечной запутанной игры двух игроков — результат, затрагивающий основы квантовой верификации и криптографических протоколов.
Не менее значим прогресс в задаче о ближайшем векторе — одной из центральных проблем теории решеток, напрямую связанной с постквантовой криптографией. По данным OpenAI, Astra получила более убедительные результаты, сведя задачу к известной проблеме 3SAT, что важно для бинарного декодирования и норм решетки.
Помимо этого, модель продвинулась в чистой математике: среди результатов — улучшенные границы для упаковки многомерных сфер, новые нижние границы сложности арифметических схем, доказательства по гипотезе Эрхарта, достижения в области многоцветных чисел Рамсея, новые конструкции в теории графов, а также прогресс по несобственным группам и гипотезе Конна о жесткости.
При этом компания пока не раскрывает технические детали и не публикует полные доказательства. Важный нюанс: хотя Astra сгенерировала аргументы, значительную роль в их оформлении сыграли люди — они формализовали постановки и подготовили материалы для публикации. Сейчас главный вопрос — подтвердят ли независимые эксперты корректность полученных результатов. Если да, это станет одним из самых убедительных примеров того, как ИИ способен вносить оригинальный вклад в фундаментальную науку.
Ранее Наука Mail рассказывала, что ИИ нашел бреши в «неуязвимых» криптографических алгоритмах.