Sept problèmes ont été désignés en 2000, dotés chacun d'un prix d'un million de dollars. En vingt-six ans, un seul a été résolu — et son auteur a refusé le prix. Ce ratio dit deux choses : ces questions sont extraordinairement difficiles, et le processus qui décide qu'une preuve tient est long et exigeant.
Nous rapportions ce matin une annonce concernant l'un de ces problèmes. Voici le contexte qui permet de la lire correctement.
Ce que sont ces problèmes
Ils ont été choisis pour une raison commune : ce sont des questions qui bloquent des champs entiers. Les résoudre ne rapporterait pas seulement un résultat, cela débloquerait des méthodes.
Ils couvrent des domaines très différents : la théorie des nombres, l'informatique théorique, la géométrie, la physique mathématique. Celui qui concerne les fluides, dont nous parlions ce matin, porte sur des équations utilisées quotidiennement en ingénierie sans qu'on sache démontrer qu'elles se comportent toujours bien.
Le seul résolu à ce jour, en 2003, portait sur une question de topologie. Il a fallu quatre ans à la communauté pour valider la démonstration, et son auteur a ensuite refusé la médaille Fields comme le million de dollars.
Comment une preuve devient acceptée
Voici le point que l'actualité rend soudain concret, et il est mal connu.
La publication. Le règlement du prix exige une parution dans une revue à comité de lecture. Cela suppose que plusieurs spécialistes, choisis par l'éditeur et généralement anonymes, examinent la démonstration ligne par ligne. Ce processus prend des mois, parfois des années.
Le délai de deux ans. Après publication, le règlement impose une période d'acceptation générale par la communauté. L'idée est simple : une preuve peut passer une relecture et se révéler fausse quand un tiers spécialiste la reprend avec un angle différent.
L'examen d'un comité. Ensuite seulement, une commission se prononce.
Concrètement, cela signifie qu'une annonce faite en septembre 2026 ne pourrait produire d'attribution avant 2029 au plus tôt, quelle que soit la qualité du travail.
L'histoire des mathématiques est remplie de démonstrations annoncées, publiées, puis invalidées des années plus tard. Le cas le plus célèbre est celui du dernier théorème de Fermat : la première version présentée en 1993 comportait une lacune, découverte pendant la relecture, et il a fallu un an de plus pour la combler. La preuve était juste dans son architecture et fausse dans un maillon. C'est exactement le type d'erreur qu'une relecture rapide ne détecte pas, et c'est pourquoi le processus est lent.
Ce que la vérification formelle change
C'est ici que l'actualité devient intéressante.
Nous avons expliqué dans notre article sur les assistants de preuve qu'une démonstration formalisée est contrôlée mécaniquement, étape par étape. Le type d'erreur qui a retardé Fermat pendant un an — un maillon manquant dans une architecture correcte — est précisément ce qu'un vérificateur détecte immédiatement.
Cela pourrait raccourcir considérablement la phase de relecture technique. Ce que cela ne raccourcit pas, c'est la vérification que l'énoncé formalisé correspond à la question posée. Cette étape reste humaine, elle est courte, et c'est là que se concentrera l'attention.
C'est une répartition intéressante : la machine vérifie la preuve, l'humain vérifie la question.
Ce qu'il faut retenir
Le processus d'acceptation d'une preuve n'est pas une formalité administrative : c'est ce qui distingue un résultat mathématique d'une affirmation.
Nous écrivions dans notre article sur ce qu'est une preuve qu'un résultat n'est établi que lorsque quelqu'un a pu le contester et n'y est pas parvenu. Le délai de deux ans du règlement est la traduction institutionnelle exacte de ce principe.
Cela invite à une certaine patience face aux annonces. Une revendication n'est pas un résultat, une formalisation n'est pas une validation, et vingt-six ans pour un seul problème résolu suggère que la prudence a historiquement eu raison.