Модель Fable 5.2 построила доказательство примерно за четыре дня и проверила его с помощью системы Lean. Результат сужает круг задач, в которых стоит искать квантовое ускорение.
Исследователи с помощью ИИ доказали гипотезу Ааронсона — Амбайниса, которая ограничивает преимущество квантовых компьютеров в определенном классе задач, сообщает New Scientist. Команда стартапа Physical Superintelligence, занимающегося искусственным интеллектом, использовала модель Fable 5.2 компании Anthropic. Результат помогает очертить круг задач, в которых стоит искать квантовое ускорение.
Гипотеза касается вычислений, в которых компьютер получает огромную случайную последовательность битов — нулей и единиц — и должен ответить на вопрос «да» или «нет». Исследователей интересовало, сможет ли квантовый компьютер найти ответ, обращаясь к входным данным существенно реже обычного. Согласно гипотезе, для большинства таких последовательностей обычный компьютер способен приблизиться к результату квантового без существенного увеличения затрат на вычисление.
Этот вопрос заинтересовал Скотта Ааронсона из Техасского университета в Остине еще в 1999 году. Тогда уже был известен алгоритм Шора для разложения чисел на множители, демонстрировавший преимущество квантового подхода. Однако исследователи предполагали, что такое ускорение связано с особой математической структурой задачи. Ааронсон хотел понять, сохраняется ли преимущество, когда структуры почти нет, а входные данные случайны.
Источник: hi-tech.mail.ru