Claude a porté à 67.2% la part démontrée des zéros de zêta sur la droite critique — et la méthode compte plus que le chiffre

Le 10 août, Anthropic a publié une note de recherche dont l’auteur est un grand modèle de langage. Le résultat : au moins 67.2% des zéros non triviaux de la fonction zêta de Riemann se trouvent sur la droite critique Re(s) = 1/2. Inconditionnellement. Le précédent record démontré était de 41.6% (5/12), un chiffre qui avait résisté à quatre décennies de perfectionnements de la méthode de Levinson.

Claude n’a pas démontré l’hypothèse de Riemann. L’article le dit lui-même, deux fois. Ce qu’il a fait — et c’est ici qu’il faut s’attarder — c’est transformer un 67% conditionnel en un 67% inconditionnel grâce à une méthode véritablement nouvelle : ni estimations de densité des zéros, ni région sans zéros, ni mollifieur. L’apport arithmétique est exactement l’évaluation par Montgomery, côté nombres premiers, du moment d’ordre deux de la corrélation des paires à bande passante ≤ 1, qui est inconditionnelle depuis 1973. Tout ce qui nécessitait auparavant RH pour être interprété a été remplacé par de l’algèbre linéaire sur une matrice finie.

Pourquoi ce chiffre a du poids

L’hypothèse de Riemann affirme que tout zéro non trivial a une partie réelle exactement égale à 1/2. Elle n’est toujours pas démontrée depuis 1859 ; c’est un problème du millénaire du Clay Mathematics Institute, doté d’un prix d’un million de dollars. Les résultats partiels sont des bornes inférieures sur la fraction des zéros situés sur la droite, et il vaut la peine d’en donner toute la lignée :

Hardy (1914) : une infinité de zéros sur la droite.
Selberg (1942) : une proportion positive.
Levinson (1974) : au moins 1/3, par la méthode du mollifieur.
Conrey (1989) : 2/5, en affinant Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler : 5/12, le record en vigueur jusqu’à cette semaine.

Chaque chiffre de cette liste provient de la même famille de techniques — la méthode de Levinson et ses descendantes. Le nouveau 2/3, non. Il vient du cercle d’idées de Montgomery sur la corrélation des paires, qui n’était auparavant utilisable que sous condition de RH. C’est une rupture structurelle, pas une progression marginale : c’est la première fois que les « conséquences de la corrélation des paires conditionnelles à RH » sont séparées de RH elle-même à cette échelle.

Le nombre 2/3 a sa propre histoire. En 1973, Montgomery a montré que, sous RH, au moins 2/3 des zéros sont simples (résultat ensuite porté à 67.9% par Goldston et d’autres). Le 2/3 présent ici est la même constante, désormais inconditionnelle — mais pour les zéros situés sur la droite, comptés comme zéros distincts, et non comme zéros « simples » au sens de Montgomery. Cette distinction compte : N₀* dénombre les zéros distincts sur la droite critique, de sorte que les multiplicités ne jouent pas contre vous. L’article démontre également qu’au moins 5/6 de tous les zéros sont distincts, ce qui découle de la même machinerie.

Deux autres points structurels. Premièrement, le théorème porte sur des intervalles dyadiques [T, 2T] avec une erreur o(1) ; la liminf quand T→∞ est au moins 2/3, et l’article indique que le rapport à T fini reste inférieur à sa limite parce que la convergence est lente (leur Remarque 5.9). Deuxièmement, la méthode ne s’arrête pas à 2/3 : avec la fenêtre optimale de Montgomery–Taylor, la constante devient 0.67250…, exactement la constante de Montgomery–Taylor conditionnelle à RH. Le 2/3 est l’énoncé simple ; la méthode peut faire légèrement mieux sans effort supplémentaire.

Un moteur différent

C’est ici que le résultat cesse d’être un record pour devenir une technique. La formule explicite de Weil transforme une assertion de positivité sur des fonctions test en une assertion sur les zéros : le fonctionnel quadratique associé est semi-défini positif si et seulement si RH est vraie. Cette équivalence est à la fois la force et le piège — toute voie naïve visant à « démontrer RH par la positivité » s’y brise, et l’agent coordonnateur de Claude rapporte que, lors de la précédente session de mille agents, la première étape substantielle de chaque voie proposée s’est révélée être la positivité de Weil ou un équivalent déguisé.

L’astuce consiste à cesser de s’intéresser à toute la forme de dimension infinie. Claude restreint le produit auxilaire à un espace fini de fonctions test — un « système de Gabor » de fenêtres modulées, avec d ≈ λN(T,2T) fonctions — et analyse la matrice réelle symétrique finie qui en résulte. Dès lors :

les zéros sur la droite critique contribuent des blocs semi-définis positifs de rang un ;
les zéros hors de la droite se groupent en paires {ρ, 1−ρ̄} sous l’équation fonctionnelle et contribuent des blocs indéfinis (1,1) — une signature d’espace de Kreĭn, et non d’espace de Hilbert ;
la loi d’inertie de Sylvester borne la signature de la forme entière ;
une inégalité rang–trace, démontrée au moyen de l’inégalité de trace de von Neumann, relie la signature à des moments de trace calculables ;
les traces elles-mêmes sont évaluées inconditionnellement à partir des nombres premiers jusqu’à X = (T/2π)^λ par Montgomery–Vaughan.

Le côté des zéros et le côté des nombres premiers sont mis en correspondance par une identité de sommation de Poisson qui donne exactement le noyau d’échantillonnage, sans repliement spectral. Numériquement, les deux côtés concordent à 10⁻⁸ aux petites hauteurs. L’étape la plus importante est conceptuelle : RH était classiquement nécessaire pour lire le côté des zéros comme une somme positive sur des ordonnées réelles. Ici, l’indéfinition des paires hors de la droite est absorbée par l’algèbre linéaire — nul besoin de savoir à quelle distance de la droite se trouve un zéro, seulement que son bloc (1,1) est borné en rang. L’indice négatif est traité par le théorème d’inertie au lieu d’être annulé par une hypothèse non démontrée.

C’est aussi pourquoi l’article de Bombieri de 2000, « Remarks on Weil’s quadratic functional in the theory of prime numbers, I », est le bon ancêtre à citer : il a étudié les troncatures finies de la forme de Weil et montré que, si RH échoue avec seulement un nombre fini de zéros défectueux, le nombre de valeurs propres négatives d’une troncature assez grande est égal à la moitié du nombre de zéros défectueux. La signature de la compression finie encode la manière dont RH échoue. La contribution de Claude consiste à montrer qu’on peut extraire le nombre de zéros sur la droite à partir de cette signature sans jamais déterminer quels zéros hors de la droite existent.

Ce que cela ne dit pas, et où se trouve le plafond

L’article est inhabituellement explicite sur ses limites. Aucun certificat de ce type ne peut dépasser 0.68185 — l’information des premier et deuxième moments à bande passante λ ≤ 1 impose un plafond strict, et λ ≤ 1 est essentiel à l’argument (au-delà, il faut une information que le côté inconditionnel des nombres premiers ne fournit pas). Atteindre 0.70/0.80/0.90 exigerait un support de corrélation des paires allant approximativement jusqu’à 1.04/1.26/1.70, ce qui signifie un apport arithmétique véritablement nouveau, et non une algèbre linéaire plus astucieuse.

La lecture honnête est donc la suivante : ce n’est pas une étape vers la démonstration de RH, et les auteurs ne le prétendent pas. C’est une étape vers le projet plus ancien et, peut-être, plus abordable consistant à rendre inconditionnelles les « conséquences de RH », dans l’esprit de ce que Bombieri et d’autres ont fait pour les nombres premiers dans les intervalles courts. Et cela montre que la machinerie de corrélation des paires, une fois libérée de RH, est plus puissante que celle des mollifieurs pour cette tâche particulière.

La session de 54 heures qui l’a rendu possible

L’annexe est la lecture la plus intéressante, et il faut la lire comme un article sur le processus de travail, pas comme une anecdote. Un agent coordonnateur a exécuté environ 60 sous-agents isolés pendant un jour et demi : 2 400 commandes shell, des centaines de scripts Python, 31 millions de tokens de sortie. Le coordonnateur n’a fait presque aucun travail mathématique lui-même ; son rôle était de diriger, trier et vérifier.

Deux sous-agents ont produit les idées clés. E2 a démontré que la voie de l’indice négatif était vide — l’indice négatif fini honnête est identiquement nul — puis a inversé l’idée, en minorant l’indice positif à partir des traces côté nombres premiers pour conclure qu’au moins la moitié des zéros sont sur la droite. E2-pairs a réfléchi pendant 91 minutes, mené des expériences numériques qui contredisaient son propre mandat et écrit le lemme rang–trace qui a fait passer 1/2 à 2/3. Quatre minutes après l’avoir écrit, une panne d’infrastructure a tué l’exécution en plein milieu d’une phrase. Le coordonnateur a lu le répertoire de l’agent mort, reconnu le résultat comme « la chose la plus importante qui se soit produite ce soir », vérifié ligne par ligne la preuve en cinq lignes, puis repris le même agent avec une liste de contrôle.

Quelques éléments ressortent de cette façon de procéder. Les deux prévisions créatives du coordonnateur lui-même étaient fausses — il a orienté le mécanisme dans la mauvaise direction lors de l’étape à un demi et donné un mauvais levier de récupération lors de l’étape aux deux tiers — tandis que son architecture d’arbitrage a tenu. Les sous-agents étaient délibérément isolés : ils ne pouvaient voir ni la conversation ni les autres agents, ce qui a maintenu l’indépendance de leurs erreurs et rendu la revue contradictoire pertinente. Et la contribution humaine s’est résumée à une poignée de messages d’une ligne : « Reprends ton travail », « Porte-le à 2/3 », « Continue ». Claude s’était d’abord sous-estimé ; la persévérance est venue de l’extérieur.

Le protocole de vérification est la véritable découverte

C’est ici que le résultat dépasse la théorie des nombres. Le problème de confiance des mathématiques produites par l’IA n’est pas « un modèle peut-il trouver une preuve ? », mais « pourquoi devrait-on le croire ? ». Le processus suivi ici propose un modèle de réponse :

Des agents arbitres hostiles et aveugles, chacun chargé d’une lacune distincte et d’un plan d’attaque, avec interdiction de lire les autres. Ils ont trouvé une erreur réelle — une prémisse fausse concernant la matrice de masse — et proposé la correction qui s’est retrouvée dans l’article. Une boucle contradictoire a détecté une hallucination ; c’est le système qui fonctionne.
Un agent de re-dérivation aveugle qui a démontré le résultat sans lire la preuve, ainsi que des cas de contrôle où l’on sait que RH échoue. Ce sont deux formes peu coûteuses de reproductibilité.
Un agent de littérature qui a téléchargé 54 articles arXiv afin de vérifier la nouveauté — le coordonnateur a explicitement refusé de faire confiance à sa propre mémoire.
Une formalisation Lean 4 / Mathlib des théorèmes A–E, sans sorry, qui ne dépend que des trois axiomes standard (propext, Classical.choice, Quot.sound). Elle comprend la formule explicite de Weil, le dénombrement de Riemann–von Mangoldt, les estimations de Stirling, Chebyshev–Mertens et Montgomery–Vaughan : l’ossature analytique a elle aussi été formalisée, et pas seulement le théorème principal.
Des experts humains : les mathématiciens internes d’Anthropic, Levent Alpöge et Ralph Furman, l’ont validé ; les experts externes Brian Conrey et Dan Goldston l’ont examiné dans un délai très court.

Les propres réserves du coordonnateur sont la partie la plus instructive. « Je ne vous dis pas que la moitié des zéros sont sur la droite. Je vous dis qu’un agent a produit un argument aboutissant à cette conclusion. » « Le résultat a besoin d’un expert humain. » Le verdict de la version finale : « Le prochain lecteur doit être une personne. »

C’est la bonne répartition du travail, et elle mérite d’être nommée : génération et exécution se parallélisent ; la vérification est stratifiée et contradictoire ; la formalisation est la vérité de référence ; le jugement reste entre les mains des personnes. L’erreur trouvée par les arbitres est précisément la raison d’être du processus : lorsqu’un modèle génère une preuve plausible, c’est exactement à ce moment qu’un lecteur non critique risque de se faire piéger.

Les réserves honnêtes

Il s’agit d’un artefact de recherche au stade du preprint, publié la même semaine que sa rédaction. La note destinée aux experts signale elle-même des termes d’erreur non développés (queues O(T^δ log T) et O(T^{1/2−2δ}) esquissées plutôt que détaillées complètement). La formalisation Lean est un artefact de recherche statique, pas une bibliothèque maintenue. Et les comportements observés au niveau de la session — un coordonnateur dont les prévisions se sont trompées deux fois, un agent dont le travail n’a été remarqué qu’après une panne d’infrastructure — ne constituent pas encore un processus reproductible ; ils forment un point de données sur ce que ce processus peut produire lorsqu’il fonctionne.

Les mathématiques ont été vérifiées plus sévèrement que celles de la plupart des preprints : une preuve Lean vérifiée par machine, une boucle d’arbitrage contradictoire et deux lectures indépendantes par des experts. Le jugement final appartient toujours à la communauté, comme il se doit. Mais la forme de l’ensemble — un théorème généré par l’IA, vérifié formellement, examiné par des experts, dont la méthode est honnêtement rattachée à ses ancêtres Bombieri et Montgomery — est nouvelle. Le chiffre de 67.2% est la partie la moins surprenante de l’annonce.