Plus de 700 manuscrits mathématiques publiés en une seule fois : c'est le coup d'éclat que vient de réaliser OpenAI, selon le magazine allemand Der Spiegel. Parmi ces textes, un seul retient l'attention du monde scientifique. L'intelligence artificielle de l'entreprise se serait, d'après l'hebdomadaire, "rapprochée à grands pas" d'une démonstration de l'hypothèse de Riemann, l'un des problèmes les plus célèbres et les plus résistants des mathématiques.
La formule est prudente, et elle doit le rester. Se rapprocher d'une preuve n'est pas la démontrer. Voici ce que l'on sait, ce que l'on ignore et pourquoi ce dossier pourrait compter bien au-delà du cercle des spécialistes.
Ce que l'on sait de l'annonce
L'information repose, à ce stade, sur le compte rendu de Der Spiegel. Le magazine rapporte qu'OpenAI a déposé en ligne, d'un seul coup, plus de 700 manuscrits de mathématiques. Le plus explosif, écrit-il, concerne l'hypothèse de Riemann, pour laquelle l'IA aurait franchi une étape importante.
Il faut être clair sur les limites de ce que nous pouvons affirmer. Nous n'avons pas pu consulter les manuscrits eux-mêmes ni recouper l'annonce auprès de mathématiciens indépendants. Aucune validation externe n'était disponible au moment de rédiger ces lignes. Le volume, lui, est déjà un fait notable : 700 textes en bloc, c'est une cadence qu'aucun laboratoire de mathématiques humain n'atteint, et qui pose d'emblée la question de la relecture.
Pourquoi l'hypothèse de Riemann fascine
Formulée en 1859 par le mathématicien allemand Bernhard Riemann, l'hypothèse porte sur la fonction dite zêta et sur la position de ses "zéros" dans le plan des nombres complexes. Elle affirme que les zéros non triviaux de cette fonction s'alignent tous sur une même droite. Dit autrement, elle décrit une régularité cachée dans la façon dont les nombres premiers, ces briques indivisibles de l'arithmétique, se répartissent parmi les entiers.
Plus d'un siècle et demi plus tard, personne n'est parvenu à la prouver ni à la réfuter. Elle figure parmi les sept "problèmes du millénaire" désignés en 2000 par l'Institut de mathématiques Clay, qui offre un million de dollars américains pour la résolution de chacun. Des centaines de théorèmes sont aujourd'hui énoncés sous la forme "si l'hypothèse de Riemann est vraie, alors…" : la démontrer solidifierait d'un coup tout un pan des mathématiques et de la théorie des nombres. On comprend que Der Spiegel parle de "Saint Graal".
Un terrain d'essai exigeant pour l'IA
Les mathématiques sont devenues un banc d'essai privilégié pour les laboratoires d'IA. Contrairement à un texte ou à une image, une démonstration est vérifiable : elle est juste ou elle ne l'est pas. Cette propriété en fait un excellent test de raisonnement, mais aussi un domaine impitoyable pour les affirmations hâtives.
Les modèles de langage ont connu des succès réels, comme la résolution de problèmes de concours ou l'assistance à la preuve formelle, et des échecs retentissants, notamment des démonstrations qui paraissent convaincantes mais contiennent des erreurs subtiles. Cette tendance à produire des raisonnements plausibles mais faux est précisément ce qui rend la prudence indispensable devant tout annonce de ce calibre.
Une approche s'impose pour distinguer le vrai du séduisant : la vérification formelle. Des assistants de preuve, comme Lean, permettent de faire contrôler chaque étape d'un raisonnement par un logiciel, sans dépendre de la confiance accordée à l'auteur. Si OpenAI souhaite que ses manuscrits soient pris au sérieux, c'est vers ce type de validation, ou vers un examen minutieux par des spécialistes de la théorie analytique des nombres, que le dossier devrait aller.
Une avancée, une preuve ou une opération de communication?
Plusieurs lectures coexistent, et rien ne permet encore de trancher.
La première est la plus enthousiaste : un système d'IA produit une idée véritablement nouvelle, qui débloque une partie du problème et que les experts confirment. Ce serait un jalon historique pour la recherche, y compris humaine, car l'outil aurait alors dépassé son rôle d'assistant.
La deuxième est plus nuancée : les manuscrits contiennent des résultats partiels, intéressants mais loin d'une démonstration complète. "Un grand pas" ne signifie pas "la solution". L'histoire de l'hypothèse de Riemann est jalonnée de tentatives annoncées avec fracas, puis infirmées après examen. Plusieurs preuves proclamées au fil des décennies se sont effondrées à la première lecture sérieuse.
La troisième est celle du scepticisme face à la communication des grandes entreprises d'IA. Publier 700 manuscrits d'un coup frappe l'imagination et alimente le récit d'une machine capable de science. Mais la valeur d'un résultat mathématique ne se mesure pas au nombre de pages : elle se mesure à la rigueur, et le temps de la relecture est long. Un seul texte erroné dans la masse peut miner la crédibilité de l'ensemble.
Ce que cela change, et ce qui reste à établir
Même en l'absence de preuve complète, l'épisode révèle un déplacement. Les laboratoires d'IA ne se contentent plus de démontrer leurs modèles sur des tests standardisés : ils s'attaquent à des questions ouvertes, reconnues par la communauté scientifique comme des sommets. Si l'un de ces efforts aboutit, la façon de produire de la connaissance mathématique en sera transformée, et la question de l'attribution d'un tel résultat, à la machine, à ses concepteurs ou aux deux, deviendra concrète.
Pour l'heure, la suite dépend d'un processus que ni l'enthousiasme ni les communiqués n'accélèrent : la lecture critique par des pairs. Les mathématiciens spécialistes de la fonction zêta vont examiner les textes, chercher la faille, tester la logique. C'est ce travail, patient et souvent ingrat, qui dira si OpenAI a réellement fait avancer le plus célèbre des problèmes non résolus, ou si l'on assiste à une nouvelle annonce que le temps viendra nuancer.
D'ici là, la bonne attitude est celle que les mathématiciens appliquent depuis toujours : tenir l'affirmation pour une hypothèse, et attendre la démonstration.