Искусственный интеллект решил 18-летнюю проблему квантовых вычислений — результат проверили в Lean

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

Источник: iXBT