Titre : MIP*=RE et le problème de plongement de Connes
Résumé : En 1976, Alain Connes a posé la question suivante : ton facteur
II_1 peut-il être plongé dans un ultraproduit d'algèbres de matrices ?
Ce problème s'est progressivement imposé comme une des questions
centrales en algèbres d'opérateurs, avec de très nombreuses
reformulations a priori distinctes, comme en théorie des C*algèbres ou
en physique mathématiques, dans les fondements mathématiques de la
mécanique quantique. En janvier 2020, cinq informaticiens (Ji,
Natarajan, Vidick, Wright et Yuen) ont annoncé un résultat qui donne une
réponse négative au problème de Connes. J'essaierai de raconter ce que
j'ai compris de cette preuve et en particulier des aspects de logique et
calculabilité, avec l'espoir d'obtenir des éclairages de l'audience du
séminaire, qui est sans aucun doute plus compétente et savante que moi.