ИИ и сложнейшие проблемы мира · Квантовая физика и квантовые вычисления · arXiv · 2026-10-19
Использование верифицируемой структуры в квантовых схемах для поиска более эффективных компиляций с помощью агентного ИИ
Оригинальное название: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
В статье предлагается использовать ИИ-агентов для более эффективной компиляции квантовых схем в тех случаях, когда узкие места — подпрограммы с классически проверяемой структурой, что позволяет сертифицировать приближённый синтез с помощью фаззинг-тестирования. Рассматриваются три применения: вычисление 1/√x для моделирования оператора Кулона при расчётах термоядерных реакторов, декодирование кодов Рида — Соломона в декодированной квантовой интерферометрии и квантовые таблицы поиска с вращениями Гивенса в моделировании химических систем. Эталонные реализации представлены как основа для планируемого соревнования на Kaggle по оптимизации компиляции с помощью ИИ.