Восемнадцать лет сомнений и три дня расчетов: экспоненциальной магии не случилось

Американская исследовательская компания PSI заявила о доказательстве гипотезы Ааронсона-Амбайниса. Математическая проблема, сформулированная в 2008 году и остававшаяся нерешенной 18 лет, поддалась исследовательской системе всего за три дня.

Суть гипотезы заключается в определении условий, при которых квантовые вычислители получают экспоненциальное преимущество в скорости над классическими компьютерами. Найденное решение показывает: классические машины способны моделировать широкий спектр квантовых алгоритмов на случайных входных данных лишь с полиномиальными накладными расходами. Это не отменяет превосходства квантовых систем в специализированных задачах (например, в алгоритме Шора для факторизации больших чисел), однако строго очерчивает фундаментальные границы их применимости.

В основе системы PSI использовалась закрытая модель от компании Anthropic, работавшая на собственной инфраструктуре разработчиков. Логическую строгость выкладок подтвердила специализированная программа интерактивного доказательства теорем Lean, причем итоговый текст был успешно оптимизирован еще дважды. Работу возглавил сотрудник PSI David Turturean. Независимую проверку доказательства провели Jim Halverson и Phiala Shanahan, а ученые из Стэнфордского университета уже готовят адаптированное изложение материала для широкого академического сообщества.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: