RealFeedApp David Turturean решил 18-летнюю проблему о квантовых вычислениях
Исследователи PSI с помощью модели Fable 5.2 AutoVSR доказали, что квантовые компьютеры могут решать задачи быстрее классических, что подтвердили сами авторы conjecture.
- Область
- обучение языковых моделей
- Что сделали
- Исследователи из стартапа PSI использовали раннюю версию модели Fable 5.2 от компании Anthropic для решения 18-летней научной гипотезы о том, могут ли квантовые компьютеры решать задачи быстрее классических.
- Зачем это
- Создатель гипотезы Scott Aaronson считает доказательство верным, так как оно было автоматически оформлено в коде на языке Lean и объяснено командой экспертов, включая тех, кто помог PSI найти решение.
#quantum computing#llm#ai agent#math proof#aaronson-ambainis conjecture
