Physical Superintelligence (PSI), un laboratoire de recherche en physique situé à Cambridge, dans le Massachusetts, affirme qu’un système fondé sur un modèle Anthropic non publié a produit en trois jours une preuve complète de la conjecture d’Aaronson-Ambainis. La preuve aurait été validée par Lean, puis optimisée à deux reprises afin d’obtenir une borne d’influence d’au moins environ 0,0025 fois ε^(5/2) divisé par d^6. PSI a publié un article signé par David Turturean ainsi qu’une formalisation de 9 454 lignes de code sur GitHub, sans axiomes ajoutés ni étapes laissées à l’approbation. Les chercheurs de Stanford et d’autres spécialistes examinent indépendamment le résultat, mais l’absence de publication du modèle utilisé empêche de vérifier la totalité du processus ayant conduit à la preuve.
Source: Lire l’article original
