En 1935, Albert Einstein propose, avec Boris Podolsky et Nathan Rosen, que deux particules puissent être liées, même si elles sont séparées par de très grandes distances – c’est l’intrication quantique. L’année suivante, le Britannique Alan Turing formule la première théorie générale du calcul et prouve qu’il existe un problème que les ordinateurs ne pourront jamais résoudre – le problème de l’arrêt. Ces deux idées ont jeté les bases de la physique quantique et de la théorie de la complexité. Or cinq mathématiciens viennent d’établir que l’intrication quantique peut – en théorie – servir de base à la vérification d’un vaste nombre de problèmes. Cette correspondance entre intrication et calcul est ici expliquée par l’un de ses auteurs, belge.