Major quantum computing conjecture solved in three days after 18 years of uncertainty

💡 Фізична компанія PSI заявила, що її система за три дні довела Aaronson-Ambainis conjecture, математичну гіпотезу, яка майже два десятиліття визначала межі переваги квантових комп'ютерів над класичними. Цей прорив може визначити, у яких саме випадках квантові алгоритми можуть бути ефективно змодельовані класичними машинами з полііноміальними затратами, а коли вони справді мають експоненційну перевагу. Доказ був верифікований математичним помічником Lean і двічі покращений системою PSI, але ще не пройшов повний незалежний академічний розгляд. Якщо результат підтвердиться, це кардинально вплине на розвиток квантових алгоритмів і розуміння того, де саме квантові комп'ютери випереджають звичайні.