Аннотация:
По данным Business Insider, Лаборатория физического суперинтеллекта (PSI) заявила, что использовала нераскрытую антропную модель, чтобы найти доказательство «гипотезы Аронсона-Амбаниса» в области квантовых вычислений в течение трех дней. Эта гипотеза остается нерешенной с момента ее выдвижения в 2008 году и касается обстоятельств, при которых квантовые компьютеры могут быть значительно быстрее традиционных компьютеров.
PSI раскрыла документ и код доказательства и сообщила, что доказательство прошло проверку вспомогательного инструмента математических доказательств Lean. Ученые из Стэнфорда, которые ранее изучали этот вопрос, прочитали доказательства и высказали свое мнение, но результаты все еще ждут дальнейшего независимого рассмотрения академическим сообществом.
Система, использованная в этом исследовании, была разработана техническим сотрудником PSI Дэвидом Туртуреаном и работала на собственной инфраструктуре лаборатории с использованием модели, которую Anthropic еще не обнародовала. PSI не раскрыла конкретное название модели. Business Insider сообщил, что Anthropic не ответила на запрос о комментариях.
PSI заявила, что исследовательская система дала полную проверку на третий день работы и впоследствии дважды улучшила результаты, а окончательная версия также прошла тест Lean.
Согласно описанию проекта, раскрытому PSI, математические утверждения, первые черновики статей и формальные доказательства создаются с помощью моделей ИИ. Туртурян ознакомился с статьей и берет на себя ответственность за ее правильность.
Гипотеза Ааронсона-Амбаниса была предложена учёными-компьютерщиками Скоттом Ааронсоном и Андрисом Амбайнисом, сосредоточив внимание на границах преимуществ квантовых вычислений.
PSI представил, что, если это доказательство верно, для конкретной альтернативной задачи расчета для большинства случайных входных данных количество раз, когда квантовый компьютер считывает входные данные, не может получить экспоненциальное преимущество по сравнению с традиционным компьютером. Это означает, что во входных данных присутствуют некоторые существенные зависимости квантового ускорения или специальные структуры. Здесь обсуждается количество раз, когда алгоритм считывает входные данные, которое нельзя напрямую приравнять к общему времени работы реального устройства.
Этот вывод не означает, что квантовые вычисления теряют ценность. Например, в PSI заявили, что квантовый алгоритм, предложенный Питером Шором в 1994 году, использует преимущества конкретной структуры задачи и намного быстрее, чем известные традиционные вычислительные методы, разлагает большие целые числа.
PSI сообщила, что исследователи Стэнфордского университета Гай Блан, Джордан Доктер, Кармен Штрассле и Ли-Янг Тан ранее решали подобные проблемы в особом случае. Все четверо читают полное доказательство PSI и готовятся написать более краткое объяснение для профессионалов. В своих отзывах PSI они описали это как «значительный результат».
Независимая платформа для отслеживания исследований State of Proof заявила, что записи проверок Lean, раскрытые PSI, предоставили материал для проверки, но платформа не воспроизвела независимое исследование проверки и не подтвердила, что исследование завершилось рецензированием в журнале.
Комментарии