Исследователи описали создание квантовых программ с помощью ИИ
Авторы работы предлагают использовать языковые модели и формальные доказательства для поиска новых квантовых программ.
Редакция 404fam
Редакционный материал
В работе, опубликованной 9 ноября 2026 года на arXiv (Cornell University), исследователи описывают автоматизированный поиск квантовых программ с помощью языковых моделей и системы доказательства теорем Lean.
Авторы сообщают, что создали библиотеку квантовых программ, в которой ИИ-агенты предлагают решения по формальным спецификациям и проверяют их корректность и стоимость. По описанию исследователей, команды агентов обмениваются результатами и обсуждают идеи.
В аннотации утверждается, что полученные программы улучшили показатели по сравнению с прежними решениями в нескольких задачах, включая параллельный поиск, квантовую арифметику и моделирование. Работа отнесена к категориям квантовой физики, искусственного интеллекта и языков программирования.
Использованные источники (1)
- arXiv (Cornell University)Discovering formally verified quantum programs with AI
arXiv (Cornell University)
Материалы по теме
Исследователи изучили нестабильность глубоких нейросетей с нормализацией
Авторы работы описали, как чувствительность таких сетей может расти с их глубиной, и проверили одно из теоретических предсказаний в экспериментах.
Генеративные модели применили для изучения белковых языковых моделей
Авторы работы исследовали способ интерпретации и изменения внутренних представлений модели ESM-2 и описали его ограничения.