ИИ за 3 дня помог решить задачу о пределах квантовых вычислений

Американская компания PSI решила задачу о пределах квантовых вычислений за 3 дня.
Ученые использовали искусственный интеллект для доказательства гипотезы Ааронсона - Амбайниса, сформулированной в 2008 году.
Гипотеза определяет условия, при которых квантовые компьютеры получают экспоненциальное преимущество перед обычными компьютерами.
PSI использовала непубличную модель Anthropic на собственной инфраструктуре для доказательства.
Математическое доказательство было проверено программой Lean и дважды усовершенствовано.
Финальная версия доказательства была одобрена Lean, но еще предстоит независимая академическая экспертиза.
Гипотеза Ааронсона - Амбайниса отвечает на вопрос о возможности аппроксимации квантовых алгоритмов с помощью классических компьютеров.
Если гипотеза верна, классические компьютеры могут имитировать широкий класс квантовых алгоритмов с полиномиальными затратами.
PSI позиционирует себя как исследовательская организация, создающая автоматизированные системы для научных открытий.