Physical Superintelligence (PSI), une entreprise fondée à Cambridge, dans le Massachusetts, affirme avoir démontré en trois jours la conjecture d’Aaronson-Ambainis, restée ouverte pendant près de vingt ans. Le système de recherche interne de PSI, complété par un modèle non public d’Anthropic, a produit une preuve publiée dans un article de 13 pages et formalisée intégralement dans le langage de programmation mathématique Lean. Cette formalisation comprend 9 454 lignes et 648 théorèmes, sans axiomes ajoutés ni éléments incomplets, et a été vérifiée indépendamment à l’aide de plusieurs noyaux. Le résultat exclut un avantage quantique exponentiel sur des oracles aléatoires pour les problèmes de décision, sans remettre en cause les accélérations quantiques structurées, comme l’algorithme de Shor. L’entreprise a été créée en septembre 2026 avec 58 millions de dollars de financement d’amorçage mené par Breakthrough Energy Ventures.
Source: Lire l’article original
