Логика — в кубит. Квантовый компьютер принял участие в решении сложной математической задачи

Исследователи использовали 121-кубитный квантовый процессор для автоматического доказывания геометрических теорем, включая задачу Международной математической олимпиады 1978 года.

Исследовательская группа под руководством ученых из Китая (Чжэцзянского университета и университета Цинхуа) предприняла важный шаг в области квантовых технологий, использовав 121-кубитный сверхпроводящий квантовый процессор для доказательства двух математических теорем. Одна из них была выдвинута еще на Международной математической олимпиаде 1978 года — престижном конкурсе для школьников.

Главная ценность эксперимента заключается не в скорости или правильности ответа, а в том, что подобные выводы и логические размышления впервые были успешно реализованы непосредственно на квантовом оборудовании, несмотря на помехи и нестабильность кубитов.

В ходе эксперимента ученые проверили перпендикулярность диагоналей квадрата с помощью гибридной реализации метода Ву, а для более сложной геометрической задачи с олимпиады обратились к подходу символического поиска доказательств с элементами машинного обучения. Квантовые схемы использовались для формирования, применения и оценки логических шагов.

По мнению авторов работы, результаты которых опубликованы в виде препринта на arXiv, структурированное математическое мышление может быть сформулировано как выполняемый квантовый процесс. Текущие эксперименты охватывали ограниченные полиномиальные примеры через аппаратные ресурсы, но усовершенствование физического оборудования в будущем позволит квантовым системам помогать искусственному интеллекту решать самые сложные математические задачи.