Модель Anthropic помогла стартапу PSI решить 18-летнюю задачу о квантовых вычислениях
Стартап-лаборатория Physical Superintelligence (PSI) с помощью раннего доступа к модели Fable 5.2 от Anthropic решила гипотезу Аронсона и Амбайниса о квантовых запросах, которая оставалась открытой восемнадцать лет. Результат отрицательный: он закрывает один путь, по которому квантовые компьютеры могли бы ускорять часть трудных задач, но не все.
Главное в цифрах
- Гипотеза Аронсона и Амбайниса открыта восемнадцать лет
- Задача решена с ранним доступом к модели Fable 5.2 от Anthropic
Доказательство разработал David Turturean, недавний выпускник MIT и участник технического штата PSI. По его словам, модель помогла получить решение, а доказательство автоматически формализовано на языке Lean, который используется для математических доказательств. Специалист по квантовым вычислениям Скотт Аронсон, один из авторов гипотезы, пишет, что не до конца понимает доказательство, но считает его верным, потому что оно формализовано в Lean и объяснено группой ведущих исследователей, с которой PSI поделилась решением.
По словам Turturean, результат закрывает одно направление поиска: квантовые компьютеры не смогут ускорять некоторые трудные задачи этим путём, но не все задачи.
Что это значит для науки
Аронсон написал, что полное доказательство было одной из последних важных открытых задач в области квантовой сложности запросов. Он удивился, что её не было в недавней подборке результатов OpenAI, и предположил, что компания тоже пыталась её решить.
Гендиректор PSI Мэтт Пайнс считает, что эффективная исследовательская система должна включать обвязки моделей, инструменты, системы памяти и инфраструктуру для симуляций. Сейчас выручку компания получает от оптимизации дата-центров, моделируя тепло, энергопотребление и воду. Главная цель компании, превращать результаты теоретической физики в технологии. Пайнс также отметил, что в физике, в отличие от математики, нельзя ограничиться проверкой в коде: природа вносит поправки в модели реальности, поэтому результаты нужно подтверждать экспериментами.
