La formule de Parisi est une expression pour l'énergie libre limite pour le modèle des verres de spin de Sherrington-Kirkpatrick, qui a d'abord été obtenue par Parisi en utilisant une méthode des répliques non rigoureuse avec un ansatz hiérarchique pour la solution du problème variationnel. Il est devenu rapidement clair que derrière la solution, si elle était correcte, se trouvait une structure mathématique intéressante. Cette formule a récemment été démontrée par Michel Talagrand en utilisant des idées et des résultats antérieurs de Francesco Guerra. L'exposé tentera d'expliquer pourquoi le problème est mathématiquement intéressant, et esquissera les idées de Guerra et Talagrand. Il convient de souligner que, même si la formule est démontrée, beaucoup de choses restent mystérieuses.