Claude n’a pas résolu l’hypothèse de Riemann. Cette précision devrait accompagner chaque récit de l’expérience dévoilée le 10 août 2026 par Anthropic. Le modèle de recherche de l’entreprise a échoué face au célèbre problème vieux de 167 ans, comme tous les mathématiciens avant lui. Mais son échec a produit un résultat inattendu : une nouvelle preuve selon laquelle au moins 67,25 % des zéros non triviaux de la fonction zêta se trouvent sur la ligne prédite par Riemann.
La meilleure borne inconditionnelle publiée jusque-là était de 41,66 %. Elle reposait sur une famille de méthodes affinées pendant plusieurs décennies. Le saut annoncé est donc substantiel. Il ne provient toutefois ni d’une résolution partielle à 67 % de l’hypothèse, ni d’une vérification numérique portant sur 67 % d’une liste finie. Il s’agit d’une garantie mathématique asymptotique sur une infinité de zéros.
Le résultat est accompagné d’un article de 35 pages, d’une note technique rédigée par deux mathématiciens d’Anthropic et d’une formalisation en Lean. Deux spécialistes extérieurs, Brian Conrey et Dan Goldston, ont également examiné le travail à bref délai. Cette documentation rend l’annonce beaucoup plus sérieuse qu’une simple sortie convaincante de chatbot. Elle n’en fait pas encore un théorème passé par le cycle ordinaire de publication et de vérification indépendante.
Une conjecture sur la musique secrète des nombres premiers
La fonction zêta de Riemann est liée à la distribution des nombres premiers, ces entiers divisibles seulement par un et par eux-mêmes. Les nombres premiers semblent apparaître de façon irrégulière, mais leur répartition à grande échelle obéit à des lois précises. Les zéros de la fonction zêta permettent de décrire les fluctuations autour de ces lois.
Certains zéros sont dits « triviaux ». Les autres vivent dans une bande du plan complexe. En 1859, Bernhard Riemann a conjecturé que tous ces zéros non triviaux se placent exactement sur une droite verticale, appelée ligne critique, dont la partie réelle vaut 1/2.
Prouver cette affirmation clarifierait une quantité considérable de résultats en théorie des nombres. L’hypothèse figure parmi les sept problèmes du millénaire du Clay Mathematics Institute, avec un prix d’un million de dollars. Des calculs ont confirmé que des billions de premiers zéros sont bien alignés, mais une inspection, aussi gigantesque soit-elle, ne suffit pas à établir une règle pour l’infini.
Une borne ne mesure pas la « part résolue » du problème
Les mathématiciens ont donc travaillé sur des résultats intermédiaires. En 1914, G. H. Hardy a montré qu’une infinité de zéros se trouvent sur la ligne critique. Selberg a ensuite prouvé qu’ils représentent une proportion positive de l’ensemble. Norman Levinson a porté cette proportion à un tiers en 1974, puis Brian Conrey au-delà de deux cinquièmes en 1989.
Après de nouveaux raffinements, la meilleure borne avait atteint 5/12, soit environ 41,66 %. Cela signifie que, lorsque l’on regarde les zéros de plus en plus haut, on peut garantir qu’au moins cette proportion est sur la ligne. Le résultat attribué à Claude remplace cette garantie par un peu plus de deux tiers.
Le tiers restant n’est pas déclaré hors de la ligne. Il demeure simplement hors de portée de la preuve. Même une borne de 99,999 % ne démontrerait pas l’hypothèse : une proportion nulle de contre-exemples peut encore représenter une infinité de zéros. Anthropic et l’article de Claude insistent eux-mêmes sur cette limite.
Le détour qui permet de passer de 41,6 % à 67,25 %
Le record précédent utilisait la méthode de Levinson et ses perfectionnements. Claude emprunte une autre route. Son article combine des travaux récents de Siegfred Alan Baluyot, Dan Goldston, Ade Irma Suriajaya et Caroline Turnage-Butterbaugh avec une lecture algébrique d’idées plus anciennes de Enrico Bombieri et Hugh Montgomery.
Le point de départ est une formule qui traduit des informations sur les zéros en informations sur les nombres premiers. Sous l’hypothèse de Riemann, certains termes associés aux zéros se comportent comme des quantités positives faciles à compter. Sans cette hypothèse, des zéros éventuellement situés de part et d’autre de la ligne critique rendent cette lecture beaucoup plus délicate.
Claude remplace cette positivité terme par terme par un problème de signature de matrices. Dans une représentation de dimension finie, un zéro situé sur la ligne contribue comme une direction positive. Une paire de zéros hors de la ligne produit, elle, un bloc avec une direction positive et une direction négative. Des inégalités de rang et de trace permettent alors de limiter la place que ces blocs pourraient occuper, à partir de quantités déjà calculables du côté des nombres premiers.
Cette traduction est l’élément nouveau revendiqué par l’article. Elle rend inconditionnel un argument de corrélation qui donnait déjà, sous certaines hypothèses, une constante proche de deux tiers. Une famille de fonctions optimisée porte finalement la borne de 2/3 à environ 0,6725007. Le même cadre affirme aussi qu’au moins cette proportion de zéros est à la fois sur la ligne et simple, et qu’au moins 83,625 % des zéros sont distincts.
Le papier expose également son plafond. Avec les seules informations de corrélation utilisées, cette méthode ne pourrait guère certifier plus de 68,2 %. Atteindre 70 %, 80 % ou 90 % demanderait de nouvelles informations sur les corrélations entre nombres premiers. L’expérience ne découvre donc pas une rampe mécanique qui conduirait progressivement à 100 %.
Soixante agents, 650 impasses et 31 millions de tokens
La manière dont le résultat a été trouvé compte presque autant que le théorème. Jarred Sumner, salarié d’Anthropic et créateur du runtime Bun, a demandé à une version de recherche non publiée de Claude de « tenter sérieusement » l’hypothèse de Riemann. Il n’est pas spécialiste de théorie des nombres.
Lors d’une première session, le modèle a généré et exploré 650 idées, sans succès. Une nouvelle invitation à persévérer a déclenché un travail d’environ un jour et demi mobilisant une soixantaine de sous-agents Claude. Selon Anthropic, deux ont développé les idées décisives, treize leur ont fourni des pistes, trente ont cherché d’autres voies, treize ont vérifié les arguments et deux ont participé à la rédaction initiale.
Ensemble, ces instances ont exécuté quelque 2 400 commandes, écrit des centaines de scripts Python, lancé des milliers de contrôles numériques et téléchargé 54 articles depuis arXiv pour rechercher un éventuel précédent. Les deux sessions ont totalisé 31 millions de tokens de sortie.
L’autonomie existe, mais elle reste encadrée
Le rôle humain décrit par Anthropic est étonnamment léger pendant l’exploration : Sumner aurait surtout encouragé le système à continuer. Pourtant, parler d’une découverte entièrement autonome serait prématuré. Un humain a choisi un problème exceptionnellement fécond, relancé le modèle après son premier échec et fait intervenir les équipes de l’entreprise pour examiner, contextualiser et publier le résultat.
Le système bénéficiait par ailleurs d’un environnement complet : recherche documentaire, code, calcul numérique, sous-agents spécialisés et long budget d’inférence. L’avancée ne mesure donc pas la capacité d’une conversation ordinaire avec Claude. Elle montre ce que peut produire un modèle encore inédit lorsqu’on lui accorde du temps, des outils et une organisation de laboratoire.
Le détail le plus instructif est peut-être le grand nombre d’impasses. Les agents n’ont pas déroulé une solution propre en un trait. Ils ont exploré, abandonné, cherché des contre-exemples, relu les autres instances et recommencé. Cette dynamique ressemble moins à un oracle qu’à une recherche à haut débit dont le coût principal est transféré vers le calcul.
La preuve formelle renforce l’annonce sans clore l’examen
Une preuve écrite en langage naturel peut cacher une hypothèse implicite ou un passage insuffisamment justifié. Pour réduire ce risque, Claude a produit avec Eric Easley une version formalisée dans Lean 4, un assistant de preuve qui vérifie chaque étape logique à partir de définitions et de règles explicites.
Le dépôt public d’Anthropic affirme formaliser les théorèmes principaux sans sorry, le marqueur utilisé dans Lean pour laisser une démonstration incomplète. Les énoncés s’appuient directement sur la définition de la fonction zêta de la bibliothèque Mathlib et le projet fournit des commandes pour reconstruire les preuves et examiner leurs axiomes. Ce n’est donc pas seulement une annexe narrative : des tiers peuvent télécharger l’artefact et tenter de le reproduire.
Cette formalisation change profondément le niveau de confiance possible. Elle empêche de nombreuses erreurs algébriques ou logiques qui pourraient survivre dans un texte de 35 pages. Elle ne répond toutefois pas automatiquement à toutes les questions scientifiques. Il faut encore vérifier que les énoncés formels correspondent exactement aux affirmations informelles, que les définitions traduisent correctement les objets mathématiques visés et que la provenance des résultats antérieurs est attribuée avec précision.
Deux mathématiciens employés par Anthropic, Levent Alpöge et Ralph Furman, ont étudié le travail. Les spécialistes Brian Conrey et Dan Goldston ont aussi examiné l’article à court préavis, mais Anthropic ne présente pas cette étape comme une évaluation par les pairs achevée. La formulation responsable reste donc : résultat documenté, formalisé et soumis à des contrôles experts initiaux, en attente d’un examen plus large de la communauté.
Ce que cette expérience change pour la recherche scientifique
Le résultat ne prouve pas que les modèles comprennent les mathématiques comme les chercheurs humains, ni qu’ils sauront reproduire cette réussite à la demande. Il fournit quelque chose de plus concret qu’un nouveau score de benchmark : un objet scientifique susceptible d’être accepté ou rejeté indépendamment de la réputation du modèle.
Les mathématiques constituent ici un terrain privilégié. Une proposition peut être confrontée à des calculs exacts, à des experts et, parfois, à un assistant de preuve. En médecine, en climatologie ou en sciences sociales, les erreurs peuvent rester mêlées à des données imparfaites et exiger des expériences longues. Le succès d’un agent en théorie des nombres ne se transpose donc pas directement à tous les laboratoires.
Il indique en revanche une évolution du flux de travail. Un modèle peut parcourir rapidement une littérature fragmentée, essayer des centaines de combinaisons, déléguer la critique de ses propres pistes et transformer une intuition en artefact vérifiable. Le chercheur humain intervient alors moins comme opérateur de chaque calcul que comme responsable du choix du problème, du niveau de preuve, de l’attribution et de la signification du résultat.
Cette répartition soulève aussi une question d’accès. L’expérience a consommé 31 millions de tokens sur un modèle non public, dans l’infrastructure de l’entreprise qui le développe. Si les découvertes dépendent de budgets de calcul et de systèmes réservés à quelques laboratoires, la capacité de faire de la science pourrait se concentrer avant même que les règles de crédit, de publication et de reproduction ne soient stabilisées.
Le vrai cap n’est pas Riemann, mais une science auditable avec l’IA
L’annonce d’Anthropic est spectaculaire précisément parce qu’elle résiste à son titre le plus tentant. Claude n’a pas « résolu Riemann à 67 % ». Il a trouvé une manière nouvelle de combiner des outils humains existants pour démontrer une borne qui semblait hors d’atteinte de la méthode dominante. La nuance réduit le sensationnalisme, pas l’intérêt du résultat.
La suite se jouera sur trois fronts : la relecture indépendante de l’article, la reconstruction publique de la preuve Lean et la capacité d’autres équipes à obtenir des avancées comparables sur des problèmes qui n’ont pas été choisis après coup pour leur succès. Une découverte isolée montre une possibilité ; une méthode reproductible transformerait réellement la pratique scientifique.
Le signe le plus encourageant n’est donc pas qu’une entreprise affirme que son modèle a eu une idée. C’est qu’elle publie un papier, des traces de recherche et un certificat formel que des spécialistes peuvent contester. À mesure que les agents gagnent en endurance, cette exigence d’audit deviendra la frontière essentielle : les systèmes pourront proposer toujours plus de résultats, mais la science n’avancera que lorsque ces résultats pourront être compris, attribués et vérifiés sans devoir croire la machine sur parole.
Références
- Anthropic, « Learning more about Claude’s mathematical capabilities », 10 août 2026.
- Claude, « More than two thirds of the zeros of the Riemann zeta function lie on the critical line », 10 août 2026.
- Anthropic, Alpöge et Furman, note informelle sur la preuve de la borne de 67,25 %, 10 août 2026.
- Anthropic, dépôt Lean 4
zeta-23-lean, consulté le 13 août 2026. - Siegfred Alan C. Baluyot, Dan Goldston, Ade Irma Suriajaya et Caroline Turnage-Butterbaugh, « An unconditional Montgomery Theorem for Pair Correlation of Zeros of the Riemann Zeta Function », 2023.
- Siegfred Alan C. Baluyot, Dan Goldston, Ade Irma Suriajaya et Caroline Turnage-Butterbaugh, « Pair Correlation of Zeros of the Riemann Zeta Function I », version révisée en novembre 2025.
- Hung Bui, Brian Conrey et Matthew Young, « More than 41% of the zeros of the zeta function are on the critical line », 2010.
- Clay Mathematics Institute, « Riemann Hypothesis », consulté le 13 août 2026.
