NewScientist: ИИ Anthropic подтвердил пределы квантовых компьютеров

Старшая нейромодель Fable 5.2 компании Anthropic помогла Дэвиду Туртуреану и коллегам строго доказать гипотезу Ааронсона–Амбайниса, что для целого класса задач квантовые компьютеры не дают решающего ускорения.

Дэвид Туртуреан из стартапа Physical Superintelligence (PSI) с коллегами привлек модель Fable 5.2 от Anthropic для поиска строгого математического доказательства гипотезы Ааронсона–Амбайниса о границах квантового ускорения и получил результат, который был дважды улучшен и затем проверен формальной системой Lean, пишет New Scientist.