Международная команда исследователей из ведущих китайских университетов успешно протестировала способность квантовых систем к логическим математическим рассуждениям. Они заставили 121-кубитный сверхпроводящий процессор самостоятельно доказать пару классических теорем, включая задачу со школьной олимпиады 1978 года. Статья об открытии опубликована на портале препринтов arXiv.
Ученые подчеркнули, что ценность эксперимента заключается не в скорости вычислений или правильности итогового ответа, который был известен заранее. Главным прорывом стал сам факт того, что столь сложная цепочка логических абстракций была успешно обработана именно на хрупком и нестабильном квантовом оборудовании.
Первым заданием для процессора стало доказательство того, что диагонали внутри идеального квадрата пересекаются строго под прямым углом. Вторым испытанием стала более запутанная геометрическая головоломка с пересекающимися окружностями, для решения которой машине пришлось искать подходящие логические шаги.
Авторы исследования заявили, что их работа открывает совершенно новый путь развития для символьного искусственного интеллекта. В теории будущие масштабируемые квантовые системы смогут находить решения математических загадок, которые сейчас принципиально не поддаются алгоритмам классических компьютеров.
Несмотря на грандиозный успех, разработчики признают, что нынешнее «железо» сильно ограничивает спектр решаемых задач из-за внутренних физических помех. Для перехода к более сложным полиномиальным вычислениям инженерам предстоит серьезно модернизировать архитектуру самих сверхпроводящих чипов.
Ранее китайские физики провели квантовую телепортацию сразу по 100 каналам.