Comment OpenAI a réussi à résoudre en 10 jours un des sept problèmes du millénaire de mathématiques ?

## OpenAI et les « problèmes du millénaire » : une annonce qui bouscule le monde des mathématiques L'entreprise américaine OpenAI a annoncé, mardi 10 septembre 2026, selon des informations rapportées par Le Figaro, que son dernier modèle d'intelligence artificielle, non encore commercialisé, aurait résolu l'un des sept « problèmes du millénaire » de mathématiques. La nouvelle, signée par le journaliste Tristan Vey, précise que la firme californienne aurait mis moins de dix jours pour parvenir à ce résultat, un délai qui, s'il était confirmé, constituerait une rupture majeure dans l'histoire des sciences formelles. ## Une liste réputée insurmontable depuis 2000 Le contexte de cette annonce mérite d'être rappelé. En 2000, l'Institut Clay, fondation mathématique américaine, a établi une liste de sept problèmes non résolus, considérés comme les plus difficiles de la discipline. Chacun d'entre eux est assorti d'une récompense d'un million de dollars pour quiconque parviendrait à en fournir une démonstration rigoureuse. Depuis cette date, un seul de ces problèmes a été résolu : la conjecture de Poincaré, démontrée en 2002 par le mathématicien russe Grigori Perelman, qui avait d'ailleurs refusé la distinction et la somme associée. Selon Le Figaro, la performance revendiquée par OpenAI dépasserait donc le simple cadre de la progression technique. Elle suggérerait qu'une intelligence artificielle ne se contente plus d'assister les chercheurs, mais pourrait désormais franchir des verrous conceptuels que l'humanité n'a pas su lever en plus de deux décennies. ## Une rupture comparable à la défaite de Kasparov Le parallèle établi par la source est explicite. En 1997, le champion du monde d'échecs Garry Kasparov perdait son match face au supercalculateur Deep Blue d'IBM, marquant la première défaite d'un champion en titre devant une machine. Trente ans plus tard, l'annonce d'OpenAI viendrait prolonger ce basculement, en le déplaçant du terrain du calcul combinatoire vers celui de la démonstration mathématique abstraite. Toutefois, plusieurs réserves doivent être formulées. L'annonce provient de l'entreprise elle-même, et le modèle concerné n'est pas encore commercialisé. Aucune vérification indépendante par la communauté mathématique n'était disponible à la date de publication de l'article du Figaro. En effet, la validation d'une démonstration d'un problème du millénaire suppose un processus long, impliquant une relecture par des pairs et une vérification formelle pouvant s'étaler sur plusieurs mois, voire plusieurs années. ## Quelles implications pour la recherche ? Si le résultat venait à être confirmé, les conséquences pourraient être considérables. D'une part, la frontière entre assistance algorithmique et production autonome de connaissance mathématique semblerait s'effacer. D'autre part, la question de l'attribution scientifique — qui serait crédité d'une découverte issue d'un modèle propriétaire — deviendrait un enjeu juridique et académique majeur. Par ailleurs, l'Institut Clay n'a pas, à ce stade, communiqué publiquement sur la recevabilité d'une telle démonstration. D'après les éléments rapportés par Le Figaro, la rapidité du résultat — moins de dix jours — constituerait en soi un signal fort sur les capacités des modèles dits de raisonnement avancé. Reste à savoir si cette annonce relève d'une percée effective ou d'une communication industrielle en avance sur sa validation scientifique. La prudence reste de mise tant que la démonstration n'aura pas été soumise à l'examen de la communauté.