QENcodeBench: Могут ли большие языковые модели кодировать классические проблемы в проверенные квантовые ораклы?

arXiv: 2609.20319v1 Annualce Type: кросс-бюллетень: Grover поиска, амплитация амплитуд и квантовый подсчет все полагаются на одну и ту же многоразовую субрутинную фазу - фазовую оракулу, конструкция которой берется в зависимости от того, что дается в литературе алгоритмы: классический основной код считается уже закодированным как правильная цепь с ограниченным ресурсами. Мы превращаем это предположение в измеримый потенциал. QEncodeBench ставит большие языковые модели (LMS) с классическими проблемами ограничения в качестве фазовых оракул и оценивает генерируемые схемы соперничающим самоподтверждающимся проверяющим органом, который принимает решение о полном эквиваленте решений вплоть до глобальной фазы при восстановлении анклисов и обеспечении соблюдения бюджетов ресурсов. Проверки базового состояния, мы показываем, систематически переоценивают эту способность. Измеряемые таким образом модели резко разнятся: модели кода без режима рассуждения не решают по существу ничего, и возможность местных рассуждать об идентичных весах повышает точность в порядке величины. Неудачи в подавляющем большинстве