Логіка — у кубіт. Квантовий комп’ютер узяв участь у розв’язанні складної математичної задачі
Дослідники з Китаю використали 121-кубітний квантовий процесор для автоматичного доведення двох математичних теорем, зокрема задачі з Міжнародної математичної олімпіади 1978 року. Цей експеримент вперше реалізував логічні міркування безпосередньо на квантовому обладнанні, застосувавши гібридні методи і машинне навчання. Результати дослідження опубліковані у вигляді препринту на arXiv.
Методи та результати дослідження
Дослідницька група, що складається з вчених Чжецзянського університету та Університету Цінхуа, змогла перевірити перпендикулярність діагоналей квадрата методом Ву. Для більш складної задачі був застосований символічний пошук доведень з елементами машинного навчання. Поточні експерименти були обмежені поліноміальними прикладами через апаратні ресурси, однак вдосконалення квантового обладнання в майбутньому може суттєво допомогти штучному інтелекту у розв’язанні складніших математичних задач.
Завдяки цьому дослідженню стає очевидним, що квантові комп’ютери мають потенціал для розвитку нових підходів у математиці. Керівники проекту сподіваються, що подальші вдосконалення у сфері квантових технологій сприятим розширенню можливостей автоматизованого доведення теорем. Результати роботи дослідників відкривають нові горизонти у використанні квантових систем для розв’язання складних логічних задач.
Цей експеримент підкреслює важливість квантових обчислень у сучасній науці та їхню роль у вирішенні складних математичних проблем, які традиційні комп'ютери можуть розв’язувати з великими труднощами.
Вдосконалення квантових технологій може призвести до значного прогресу в автоматизації доведення теорем і розширити можливості штучного інтелекту в цій сфері. Це також може стимулювати нові дослідження і розробки в інших галузях науки та технологій.
Цей успіх китайських вчених підкреслює зростаючу роль квантових технологій у вирішенні складних математичних задач. Не менш вражаючими є результати, отримані за допомогою квантового комп'ютера Quantinuum H2, який з 55 кубітами продемонстрував перевагу над класичними системами в масштабному тестуванні. Це свідчить про потенціал подальшого розвитку квантових обчислень у науці.