Квантовые компьютеры не всесильны — это доказал ИИ за три дня

Американская исследовательская лаборатория Physical Superintelligence (PSI) 6 ноября объявила, что её система на закрытой модели Anthropic доказала гипотезу Аронсона–Амбайниса — вопрос из теории квантовых вычислений, открытый с 2008 года. Полное доказательство появилось на третий день работы системы, и его приняла программа Lean: она проверяет каждый шаг рассуждения по правилам логики, а не «на веру».

Что доказали, если убрать формулы

Гипотеза отвечает на простой вопрос: когда квантовый компьютер может быть принципиально быстрее обычного? Скотт Аронсон и Андрис Амбайнис в 2008 году предположили, что на случайных данных экспоненциального выигрыша не будет — обычный компьютер сможет приблизить ответ, не перебирая экспоненциально больше вариантов.

Доказательство это подтверждает: экспоненциальное преимущество квантовых вычислений требует структуры в данных, то есть редкого паттерна. Проще говоря, квантовый компьютер сильно ускоряет не любую задачу, а только ту, где в данных есть закономерность. У квантовых машин есть предел — и теперь он доказан, а не предполагается.

Как это сделали

• Система работала на инфраструктуре самой PSI и использовала экземпляры непубличной модели Anthropic. Какую именно модель взяли, не раскрывается; Anthropic на запрос не ответила.
• На третий день работы система выдала полное доказательство, которое приняла Lean — программа, проверяющая формальные выкладки. Ядро Lean пересчитало все шаги, была и вторая, независимая проверка другим ядром.
• Затем систему попросили улучшить результат: она сделала это дважды, финальную версию Lean тоже приняла.
• Ведущий работы — Дэвид Туртурян, сотрудник PSI: он построил систему, выбрал задачу, запустил её и отвечает за корректность статьи. Аудит доказательства провёл Джим Халверсон.
• Статья и формальная запись доказательства выложены в открытый доступ: любой специалист может проверить их сам.
• Исследователи из Стэнфорда, которые работали над этой темой, назвали результат «огромным» и отметили, что «всё сходится почти волшебным образом».

Чего пока нет

Доказательство не прошло рецензирование в научном журнале, публичной оценки самих Аронсона и Амбайниса тоже нет. Пока это заявление компании, подкреплённое машинной проверкой: сильное, но не окончательно закрытое.

Почему это важно

Проверять сложные доказательства теперь можно машинно: ошибку видно, её нельзя «заболтать». Это меняет не только математику — по той же схеме будут проверять юридические и финансовые выкладки, сделанные ИИ. И второе: понимание пределов квантовых вычислений снимает часть хайпа. Квантовый компьютер не ускорит всё подряд, только задачи с правильной структурой. Для бизнеса это значит, что ждать «квантового скачка» в бухгалтерии или логистике не стоит, а точечные задачи — химия, криптография, оптимизация — остаются реальными.