Вчені вирішили одну з найскладніших проблем квантових обчислень за допомогою GPT‑5

Штучний інтелект GPT‑5 допоміг математикам розв’язати складну задачу з квантових обчислень. Скотт Ааронсон з Університету Техасу та Фрік Віттевен з CWI Амстердам опублікували на arX­iv роботу про обмеження в перевірці квантових доказів.

“Уявіть, що хтось стверджує, що знайшов розв’язок складної задачі. У звичайних комп’ютерах можна швидко перевірити, чи правильна відповідь, навіть якщо пошук самого розв’язку займає багато часу. Квантові комп’ютери працюють інакше — там доказ існує у формі квантового стану, який легко зруйнувати під час перевірки”, — зазначають дослідники.

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

GPT‑5 допомогла на етапі, коли математики застрягли в розрахунках. Модель запропонувала інший спосіб сформулювати задачу, що дозволило застосувати відомі математичні методи. Виявилося, що існують чіткі межі надійності перевірки — зробити її абсолютно досконалою неможливо через фундаментальні властивості квантових систем.

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