/Поглед.инфо/ Новината за 18-годишната квантова хипотеза, сведена до формално доказателство за едва седемдесет и два часа от невронна мрежа, звучи като поредния маркетингов шум в силициевата долина. Зад еуфорията обаче стои сухото потвърждение от формалния асистент Lean и суровият въпрос доколко тези алгоритмични конструкции описват реалния физически свят. Докато изследователският екип на PSI изтъква успеха си, теоретичната общност тепърва започва да сглобява логистиката на пълната експертна проверка. Тази развръзка не ликвидира квантовите компютри, но срязва значителна част от преувеличените очаквания за тяхната универсалност, чертаейки стриктни математически граници пред изчислителната сложност.