Стартап Physical Superintelligence (PSI) объявил о доказательстве гипотезы Ааронсона — Амбайниса. Эта задача из теории квантовых вычислений оставалась нерешённой с 2008 года.
Исследователи использовали собственную ИИ-систему со встроенной закрытой моделью Anthropic. По данным PSI, полное доказательство появилось на третий день работы системы. Позже ИИ дважды улучшил его при изучении связанных задач.
Гипотезу предложили специалисты по теории вычислений Скотт Ааронсон и Андрис Амбайнис. Она описывает одно из главных ограничений квантовых компьютеров: для огромного ускорения задаче нужна скрытая структура.
Например, алгоритм Шора быстро раскладывает большие числа на множители за счёт найденной в них периодичности. Гипотеза Ааронсона — Амбайниса утверждает, что без подобных закономерностей квантовый компьютер на большинстве случайных входных данных не получит экспоненциального преимущества над обычным.
ИИ способен написать убедительный текст с логической ошибкой, поэтому одного найденного решения было недостаточно. PSI перевела доказательство в формат Lean 4 — системы, которая проверяет каждый формальный шаг.
Компания утверждает, что проверка завершилась без незаполненных фрагментов и без добавления новых аксиом. Результат также прогнали через две независимые программы проверки. Статья, исходный код для Lean, инструкции и журналы проверок опубликованы на GitHub.
Исследователь квантовых вычислений Генри Юэнь назвал результат решением красивой задачи о необходимости структуры для экспоненциального квантового преимущества. Математик Паата Иванишвили отметил, что подтверждённое доказательство станет крупным достижением.
По информации PSI, работу уже изучили исследователи Стэнфордского университета, которые в августе 2026 года доказали частный случай гипотезы. Формальная машинная проверка завершена, но окончательное признание результата теперь зависит от изучения доказательства научным сообществом.
