Anthropic ne s'attend pas à ce que les techniques de Claude démontrent l'hypothèse de Riemann. La conjecture selon laquelle chaque zéro non trivial de la fonction zêta de Riemann se trouve sur la droite critique, où la partie réelle vaut un demi, reste non démontrée. L'affirmation plus étroite d'Anthropic demeure importante. Une version de recherche non publiée de Claude a produit une preuve inconditionnelle qui relève de 41.6% à 67.2% la borne inférieure connue pour la part des zéros sur cette droite. Il s'agit d'une borne sur une proportion asymptotique, pas d'une preuve que tous les zéros s'y trouvent ni d'une affirmation sur la position des autres.
L'ampleur du saut fait l'actualité. L'article d'Anthropic indique que le record de 41.6% tenait depuis 2020. Avec les chiffres arrondis de l'annonce, Claude l'a relevé de 25.6 points de pourcentage en un seul résultat. Rien dans la progression historique présentée dans l'article n'approche ce bond unique. La preuve s'appuie largement sur les travaux de corrélation par paires de Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh, ainsi que sur des travaux antérieurs de Bombieri. Sa nouveauté est une lecture par l'algèbre linéaire de ce dispositif, qui traite ensemble les zéros sur la droite et hors de celle-ci au moyen d'une forme quadratique. Le résultat prolonge les mathématiques humaines ; il n'est pas apparu sans elles.
La vérification dépasse un transcript de modèle convaincant en apparence. Anthropic a publié une formalisation Lean 4 fondée sur la définition de la fonction zêta dans Mathlib, et affirme qu'elle passe le comparateur standard sans emplacement de preuve inachevé. Les mathématiciens d'Anthropic Levent Alpöge et Ralph Furman ont étudié et validé le résultat. Brian Conrey et Dan Goldston ont examiné l'article de l'extérieur dans un délai court. Les propres travaux de Conrey figurent dans l'histoire classique des bornes sur la droite critique, ce qui donne du poids à son examen. Il faut tout de même nommer la limite : Anthropic a publié le modèle, l'article et le compte rendu de validation. Un examen externe n'est pas une publication indépendante évaluée par les pairs.
L'étincelle humaine a été exceptionnellement petite et précise. Jarred Sumner, créateur de Bun et non-mathématicien, a demandé à Claude de tenter sérieusement l'hypothèse. Selon Anthropic, le modèle a d'abord essayé 650 idées sans succès, puis a passé un jour et demi à coordonner environ 60 sous-agents. Sur 31 millions de tokens de sortie, ils ont exécuté 2,400 commandes shell, vérifié des arguments candidats et relu leurs travaux mutuels. L'apport de Sumner consistait surtout en messages d'encouragement. Claude a ensuite cherché des contre-exemples, téléchargé 54 articles pour vérifier la nouveauté et redémontré le résultat indépendamment. Ces nombres décrivent une exécution de recherche coûteuse, pas un benchmark reproductible.
La partie qui porte à conséquence n'est ni l'anecdote motivante ni la marque du modèle. C'est un théorème concret qui déplace une borne vieille d'un siècle, arrive avec un artefact vérifiable par machine et porte une limite explicite de son fabricant. Puisque le modèle de recherche n'est pas publié, les chercheurs externes ne peuvent pas encore vérifier si la capacité se généralise. Puisque la divulgation repose sur une seule source, Anthropic, la communauté mathématique doit encore examiner la preuve et sa nouveauté. Si le résultat survit à ce processus, il entre dans l'histoire de la théorie des nombres. Il ne rend pas l'hypothèse de Riemann moins irrésolue.