[News] Logiciels quantiques: une implémentation de l'algorithme de Shor vérifiée pour la première fois
Publié : 12/05/2022 - 13:00:20
L'algorithme de Shor est à l'origine de l'engouement de la communauté scientifique pour le quantique dans les années 1995. Mais aucune implémentation du célèbre algorithme n'avait jusqu'à présent pu être vérifiée, faute d'outils adaptés. C'est désormais chose faite, grâce aux travaux du CEA-List.
L’ordinateur quantique parfait n’existe pas encore que déjà, bon nombre d’algorithmes sont prêts à y être implémentés. C’est le cas, par exemple, de l’emblématique a...