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

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

Головна цінність експерименту полягає не у швидкості чи правильності відповіді, а в тому, що такі висновки й логічні міркування вперше було успішно реалізовано безпосередньо на квантовому обладнанні, попри перешкоди та нестабільність кубітів.

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

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