Une preuve produite par l'intelligence artificielle et annoncée plus tôt ce mois-ci dans le cadre d'un lot de 377 résultats mathématiques dérivés de l'IA séduit les experts humains qui ont passé les deux dernières semaines à la démonter. Dans un article du 19 octobre, Quanta Magazine a rapporté que les théoriciens des nombres ont maintenant dévoilé la preuve générée par l'IA de l'hypothèse quasi-Riemann – une version plus faible de l'hypothèse de Riemann, sans doute la plus grande question ouverte en mathématiques – et leur verdict est inhabituellement catégorique.
Jared Duker Lichtman, de l'Université de Stanford, l'a qualifié de "réalisation la plus importante en matière d'IA pour les mathématiques jusqu'à présent, et de loin". Maksym Radziwiłł de l'Université de New York, dont les propres travaux soutiennent une partie de la preuve, a qualifié les implications de « stupéfiantes ». Pour plus de contexte sur cette histoire, consultez notre plus d'articles sur l'IA.
Ce que prétend l'hypothèse quasi-Riemannienne
L'hypothèse de Riemann est ouverte depuis plus de 160 ans. Cela concerne la fonction zêta de Riemann et l'emplacement de ses zéros non triviaux, et il est intimement lié à la façon dont les nombres premiers sont distribués parmi les nombres entiers. Parce que les nombres premiers sont les éléments constitutifs de l’arithmétique, une preuve remodelerait de vastes domaines de la théorie des nombres.
L'hypothèse est l'un des sept problèmes du Prix du Millénaire nommés par le Clay Mathematics Institute, et c'était le seul problème issu de la célèbre liste de 23 problèmes de David Hilbert annoncée un siècle plus tôt.
Le squelette technique, comme l’explique Quanta, a été cartographié étape par étape depuis des générations. Riemann a montré en 1859 que les zéros non triviaux de la fonction zêta régissent la manière dont les nombres premiers s'éclaircissent le long de la droite numérique, et a prouvé qu'ils ne peuvent se trouver qu'à l'intérieur d'une bande verticale où la partie réelle de l'entrée se situe entre zéro et un. En 1896, deux mathématiciens ont montré indépendamment qu’il n’y avait aucun zéro sur le bord droit de la bande – un résultat suffisamment solide pour prouver le théorème des nombres premiers. L'hypothèse elle-même dit que tous les zéros non triviaux se trouvent exactement sur la ligne médiane de la bande, où la partie réelle est égale à la moitié. Les zéros triviaux sur les entiers négatifs, même, sont déjà parfaitement compris. Plus de 160 ans d’efforts ont rétréci et sondé cette bande sans jamais en fixer les zéros.
L’hypothèse quasi-Riemann, ou quasi-RH, est une affirmation strictement plus faible. Et pourtant, ses conséquences vont presque aussi loin. "Dans un sens, la grande majorité des conséquences de la RH découlent déjà de la quasi-RH", a déclaré Radziwiłł à Quanta.
De l'annonce à la vérification
Le résultat est apparu pour la première fois le 6 octobre, lorsqu'OpenAI a annoncé 377 résultats mathématiques dérivés de ses systèmes d'IA. Parmi les mathématiciens professionnels, l’annonce a d’abord suscité un scepticisme mesuré : les systèmes d’IA ont déjà produit des preuves revendiquées qui se sont effondrées sous l’examen d’experts, et la vérification a longtemps été le goulot d’étranglement séparant les mathématiques générées par l’IA des mathématiques acceptées.
Selon le rapport de Quanta, cette preuve est différente : contrairement à d'autres preuves récentes de l'IA, celle-ci a été décomposée par des experts humains. Des théoriciens des nombres, dont Radziwiłł, Alexander Dunn du Georgia Institute of Technology et d'autres, ont travaillé sur cet argument depuis l'annonce, en vérifiant ses étapes et en le situant dans les connaissances existantes.
Les contrôles ont tenu. "La preuve est une synthèse surprenante d'idées bien connues", a déclaré Dunn, qui, avec Radziwiłł, a mis au point des techniques sur lesquelles repose en partie le résultat.
Vieilles idées, connexions cachées
L’aspect le plus frappant de la preuve, ont expliqué les mathématiciens à Quanta, est peut-être ce qu’elle n’exige pas. Contrairement aux attentes selon lesquelles le règlement même d’une forme affaiblie de l’hypothèse de Riemann nécessiterait des machines fondamentalement nouvelles, la preuve produite par l’IA n’a introduit aucun nouveau concept. Au lieu de cela, il a mis au jour des liens cachés entre ceux qui étaient établis, combinant des techniques d'une manière qu'aucun humain n'avait assemblée.
Ce modèle – la nouveauté grâce à une synthèse inattendue plutôt qu’à une nouvelle théorie – apparaît comme une signature de la découverte mathématique assistée par l’IA, et incite les chercheurs à reconsidérer où la contribution des machines aux mathématiques est la plus susceptible d’arriver en premier.
Pourquoi c'est important pour la recherche sur l'IA
Le résultat vérifié constitue une étape importante pour l’IA pour les mathématiques, un domaine qui s’est rapidement développé à mesure que les modèles de raisonnement se sont améliorés. L'annonce d'OpenAI du 6 octobre, dont nous avons parlé lorsque l'Institute for Advanced Study a soulevé des questions sur le lot de résultats, était la plus grande affirmation à ce jour sur les mathématiques dérivées de l'IA. La preuve quasi-RH est le premier résultat de ce lot à faire l’objet d’une lecture détaillée par un expert, et elle a survécu.
Pour les laboratoires d'IA, l'épisode démontre un flux de travail qui pourrait devenir standard : les modèles produisent des preuves candidates à grande échelle, et des experts humains trient, vérifient et absorbent les résultats importants. Pour les mathématiciens, la conséquence immédiate est plus limitée mais réelle : un ensemble de conséquences de l’hypothèse de Riemann qui n’ont plus besoin de la conjecture complète pour être valables.
Quanta note que les mathématiciens commencent seulement à comprendre ce que la preuve signifie pour le domaine. Comme l'a dit Radziwiłł, les implications sont « stupéfiantes » – un adjectif rarement attribué à un résultat qui ne correspond pas à l'hypothèse complète.
L'épisode constitue également une référence pour les réclamations futures. Tout laboratoire d’IA annonçant des avancées mathématiques sera désormais mesuré par rapport à la quasi-RH : un résultat revendiqué qui a été vérifié, vérifié et accepté par les experts les mieux placés pour le réfuter.
Rien de tout cela ne règle l’hypothèse de Riemann elle-même. La conjecture complète reste ouverte et le quasi-RH est strictement plus faible. Mais pour la première fois, un système d’IA a produit une preuve à la frontière de la théorie analytique des nombres que d’éminents spécialistes du domaine ont déballée et approuvée – un fait qui peut en dire autant sur l’avenir de la recherche mathématique que le théorème lui-même.
Cet article est basé sur un reportage de Quanta Magazine, publié le 19 octobre 2026.
---
Restez à la Pointe de l'IALes dernières actualités, analyses et percées en IA — au même endroit.
Lire plus d'actualités IA →
