
Les preuves quantiques sont enfin prouvées plus puissantes que les preuves classiques
Pendant vingt ans, les informaticiens se sont interrogés sur une question d’apparence simple : un ordinateur quantique peut-il vérifier des solutions à des problèmes qu’un ordinateur classique ne peut même pas décrire ? La réponse est oui, et la preuve fait 96 pages. Une équipe de quatre chercheurs, John Bostanci (Simons Institute / Columbia), Jonas […]










