Une frontière nouvelle dans l’un des territoires les plus célèbres des mathématiques : c’est ce que revendique OpenAI avec une preuve proposée par son modèle interne. Parmi les travaux rendus publics le 6 octobre 2026 figure un manuscrit consacré à la quasi-hypothèse de Riemann. Annonce d’OpenAI
Ce résultat mérite un examen particulier. Il concerne la fonction zêta, étroitement liée à la distribution des nombres premiers, et s’accompagne de fichiers de preuve formelle. La célèbre hypothèse de Riemann complète reste toutefois ouverte. La portée de l’annonce tient à une question intermédiaire bien définie : peut-on interdire aux zéros de zêta de s’approcher arbitrairement d’une certaine frontière ?
Une zone sans zéros au-delà de 7/8
Le manuscrit de 199 pages, daté du 30 septembre, énonce un résultat simple à écrire : la fonction zêta de Riemann ne possède aucun zéro lorsque Re(s) > 7/8, soit une partie réelle strictement supérieure à 0,875. Le théorème autorise le pôle principal en s = 1, où la fonction présente une singularité.
Il revendique également cette exclusion pour toutes les fonctions L de Dirichlet, ainsi que les fonctions L de Hecke d’ordre fini sur le corps Q(√−3). Pour zêta, obtenir une frontière fixe strictement inférieure à 1 répondrait positivement à la quasi-hypothèse de Riemann.
Le mot important est fixe. La limite annoncée ne se déplacerait pas lorsqu’on explore la fonction de plus en plus loin. La ligne Re(s) = 7/8 elle-même n’est pas incluse dans la zone d’exclusion revendiquée.
Pourquoi les nombres premiers se cachent derrière zêta
Les nombres premiers — 2, 3, 5, 7, 11… — constituent les briques de la multiplication des entiers. Leur apparition semble irrégulière, mais leur répartition à grande échelle obéit à des lois. Le théorème des nombres premiers décrit une tendance moyenne ; la position des zéros de zêta renseigne sur les écarts autour de cette tendance. Présentation du Clay Mathematics Institute
Un zéro est une valeur pour laquelle la fonction s’annule. Ici, la variable est un nombre complexe : on peut la représenter comme un point muni d’une coordonnée horizontale, sa partie réelle, et d’une coordonnée verticale, sa partie imaginaire.
Riemann a formulé en 1859 l’idée que tous les zéros non triviaux se trouvent sur la même verticale : Re(s) = 1/2. Le problème figure toujours parmi les problèmes du millénaire non résolus du Clay Mathematics Institute. Le résultat publié par OpenAI ne démontre pas cet alignement.
7/8 et 1/2 répondent à deux questions différentes
| Question | Ce qu’elle demande |
|---|---|
| Hypothèse de Riemann complète | Tous les zéros non triviaux ont une partie réelle égale à 1/2. |
| Quasi-hypothèse de Riemann | Il existe une frontière fixe inférieure à 1, au-delà de laquelle aucun zéro ne se trouve. |
| Résultat revendiqué par OpenAI | La frontière 7/8 convient, avec une exclusion strictement à sa droite. |
On peut se représenter une carte sur laquelle on cherche des points. Les obliger à rester du même côté d’une frontière réduit leurs emplacements possibles. Cela ne suffit pas à les placer tous sur une seule ligne.
Et 0,875 ne signifie pas « 87,5 % de Riemann résolu ». C’est une coordonnée géométrique. Il n’existe pas, dans cette annonce, de pourcentage mesurant la part de la conjecture qui aurait été démontrée.
Ce qu’une frontière uniforme pourrait changer
La présentation du problème par Enrico Bombieri explique comment les formules reliant zêta aux nombres premiers font intervenir ses zéros. Leur localisation contrôle les possibilités de fluctuation dans le décompte des nombres premiers.
Si le résultat est confirmé, les chercheurs disposeraient d’une restriction valable pour toute la fonction, au lieu d’une observation portant sur un ensemble fini de points. Cela pourrait servir de point d’appui à des estimations en théorie analytique des nombres. La portée exacte des conséquences demanderait ensuite à être établie, problème par problème.
La distinction entre calcul et preuve est décisive. Vérifier un milliard de cas peut révéler un motif et convaincre de chercher dans une direction. Une démonstration doit expliquer pourquoi aucun cas, même situé au-delà de toute exploration numérique réalisable, ne peut contredire l’énoncé.
Réduire l’inconnu peut déjà constituer une avancée majeure
Un problème intermédiaire n’est pas nécessairement un lot de consolation. Une propriété plus faible que la conjecture complète peut être exactement celle dont un autre raisonnement a besoin. En mathématiques, la valeur d’une preuve se mesure aussi aux portes qu’elle ouvre ailleurs.
Ce serait donc une erreur de ne juger ce travail qu’à sa distance de la ligne 1/2. La bonne question sera de savoir ce que la frontière proposée permet effectivement de démontrer, et quelles méthodes de la preuve deviennent réutilisables.
Une démonstration proposée et des fichiers Lean à contrôler
Le dépôt contient un fichier Lean dont la déclaration finale exprime le non-annullement de zêta à droite de 7/8. Il contient aussi un énoncé pour les fonctions L de Dirichlet, en tenant compte du pôle du caractère principal.
Lean permet d’écrire une preuve dans un langage que l’ordinateur peut vérifier. Pour ce résultat, OpenAI fournit une configuration Comparator qui désigne le théorème à contrôler et les axiomes autorisés.
La documentation de Comparator décrit des vérifications de correspondance entre l’énoncé demandé et la solution, de limitation des axiomes et d’acceptation par le noyau de Lean, sous les conditions précisées par le projet. Ce contrôle est plus exigeant que la présence d’un texte mathématique convaincant.
Pour autant, la publication de fichiers n’est pas un compte rendu de leur vérification indépendante. Le manifeste de formalisation, consulté le 7 octobre, indique encore un statut global de revue « unchecked ». Nous ne présentons donc pas la compilation de cette preuve comme un contrôle que nous aurions nous-mêmes exécuté.
Il restera également à examiner la correspondance avec les formulations mathématiques usuelles et la place du résultat dans la littérature. Une preuve qui résiste à l’examen doit pouvoir être expliquée, discutée et utilisée par d’autres chercheurs.
Ce résultat ne se résume pas à « trois heures avec ChatGPT »
Le README d’OpenAI précise que le travail sur une région sans zéros de zêta fait partie des exceptions à la procédure appliquée à la majorité du corpus. La moyenne annoncée de trois heures d’équivalent calcul de réflexion ChatGPT Pro par résultat ne décrit donc pas précisément les ressources employées ici.
Le modèle demeure interne et non publié. Le dépôt donne accès aux manuscrits et aux éléments de preuve disponibles, pas à l’outil lui-même. Le texte sur Riemann illustre ainsi une nouvelle situation : la communauté peut commencer à examiner un résultat sans pouvoir reproduire librement les conditions de son exploration.
Cet article approfondit un résultat précis du corpus de 722 manuscrits déjà présenté sur le blog. Son importance potentielle tient à son énoncé et aux vérifications qui suivront, plutôt qu’au volume de la collection.
L’histoire se jouera dans les détails de la preuve
Pour mesurer cette percée, il faudra suivre les contrôles publiés, les éventuelles corrections, les explications de spécialistes et les nouveaux travaux qui s’appuieront sur le résultat confirmé.
Si l’exclusion au-delà de 7/8 tient, elle constituerait une avancée sur une question profonde concernant zêta et les nombres premiers. Si une difficulté apparaît, sa correction devra être documentée. Dans les deux cas, le manuscrit public permet désormais un examen concret.
L’histoire pourrait être en train de s’écrire. Elle s’écrira avec une preuve que d’autres peuvent vérifier et comprendre. C’est cette étape qui donnera à la revendication d’OpenAI sa véritable portée scientifique.
Références
- OpenAI — Sharing AI progress in mathematics, 6 octobre 2026.
- OpenAI — dépôt public des manuscrits et description des méthodes.
- Prépublication — The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane Re(s)>7/8.
- Clay Mathematics Institute — état et présentation de l’hypothèse de Riemann.
- Enrico Bombieri — description officielle du problème de Riemann.
- OpenAI — énoncés Lean de non-annullement des fonctions L et de zêta.
- Lean — fonctionnement du vérificateur Comparator.
