Выпускник MIT с помощью ИИ-модели решил 18-летнюю задачу о квантовых вычислениях
Дэвид Туртурян, сотрудник стартап-лаборатории Physical Superintelligence (PSI), использовал ранний доступ к модели Anthropic Fable 5.2 для доказательства гипотезы Ааронсона–Амбаиниса, остававшейся открытой 18 лет. Скотт Ааронсон заявил, что не до конца понимает доказательство, но считает его верным, поскольку оно формализовано в Lean и проверено командой исследователей. Решение закрывает один из путей ускорения квантовых вычислений и показывает, как ИИ меняет научную практику.
Aziz Karimov