Исследовательская компания PSI объявила о доказательстве гипотезы Ааронсона-Амбайниса, которая оставалась нерешенной 18 лет. ИИ-система на базе модели Anthropic справилась с задачей за три дня, а корректность доказательства подтвердила программа Lean.
Американская исследовательская компания PSI официально заявила о доказательстве гипотезы Ааронсона-Амбайниса — фундаментальной математической проблемы, сформулированной в 2008 году и оставшейся нерешенной в течение 18 лет. Прорыв был достигнут исследовательской системой всего за три дня работы.
Суть гипотезы заключалась в определении точных условий, при которых квантовые вычислители обеспечивают экспоненциальное преимущество в скорости по сравнению с классическими компьютерами. Полученное решение демонстрирует: классические машины способны эффективно моделировать широкий класс квантовых алгоритмов на случайных входных данных, неся лишь полиномиальные накладные расходы.
Это открытие не отменяет превосходства квантовых систем в узкоспециализированных задачах, таких как алгоритм Шора для факторизации больших чисел, однако оно строго очерчивает фундаментальные границы применимости квантового преимущества. Результат имеет важное теоретическое значение для понимания возможностей и ограничений квантовых вычислений.
В основе системы PSI лежала закрытая языковая модель от компании Anthropic, работавшая на собственной инфраструктуре разработчиков. Логическая строгость всех выкладок была верифицирована специализированной программой интерактивного доказательства теорем Lean. Итоговый текст доказательства прошел успешную оптимизацию еще дважды. Работу возглавил сотрудник PSI Дэвид Туртурэан.
Независимую проверку доказательства провели Джим Халверсон и Фиала Шанахан. На данный момент ученые Стэнфордского университета готовят адаптированное изложение материала для широкого академического сообщества, что подтверждает высокую значимость результата для научного сообщества.
