Штучний інтелект за три дні довів математичну гіпотезу, яку не могли розв’язати 18 років

Сьогодні, 08:50

Математична задача, яка 18 років не піддавалася вченим, за три дні була розв’язана штучним інтелектом. Американська компанія Physical Superintelligence (PSI) оголосила, що її ШІ-система довела гіпотезу Аронсона — Амбайніса, пов’язану з можливостями квантових комп’ютерів. Доказ перевірила математична система Lean, проте незалежна наукова експертиза ще триває.

Про яку гіпотезу йдеться

Гіпотезу сформулювали у 2008 році американський учений Скотт Аронсон та латвійський математик Андріс Амбайніс. Вона стосується одного з фундаментальних питань квантових обчислень: за яких умов квантовий комп’ютер здатен вирішувати задачі експоненційно швидше за звичайний. Протягом 18 років математикам вдавалося довести лише окремі часткові випадки, а загальне рішення залишалося недосяжним.

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

Останні новини: В iPhone знайшли список зі 100 тисяч заборонених слів і фраз

Як ШІ шукав доказ і як його перевіряли

Для пошуку доказу PSI задіяла власну дослідницьку систему під керівництвом Девіда Туртуряна. У її роботі використовувалися екземпляри ще не випущеної публічно моделі Anthropic. ШІ аналізував наявні математичні результати, пропонував нові підходи та перевіряв проміжні міркування. Уже на третій день система отримала повний доказ.

Останні новини: NAVI гарантували собі путівку на M8, Стартує UESF Чемпіонат України 2026 Stage 5 з Dota 2, The MongolZ та MOUZ зіграють у фіналі IEM Beijing 2026 — дайджест новин за 7 листопада

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

Роботу ще не опубліковано в рецензованому науковому журналі. Математик Джим Халверсон провів додаткову перевірку доказу, а фізик Фіала Шанахан вивчила його формальне представлення в Lean. Дослідники Гай Блан, Джордан Доктер, Кармен Страссле та Лі-Ян Тан, які раніше довели частковий випадок гіпотези, нині вивчають нову роботу і готують скорочений виклад доказу для математичної спільноти.