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