Anthropic affirme que Claude a porté à 67,2% une borne inférieure des zéros zêta de Riemann

Anthropic affirme qu’une version de recherche inédite de Claude a amélioré une borne ancienne de théorie analytique des nombres, portant de 41,6% à 67,2% la proportion connue de zéros de la fonction zêta de Riemann sur la droite critique. Le résultat est venu après qu’un employé lui a demandé de tenter sérieusement l’hypothèse de Riemann. Claude n’a pas résolu ce problème ouvert célèbre et l’entreprise précise que ses techniques ne devraient pas fournir une telle preuve.

Proposée en 1859, l’hypothèse concerne l’emplacement des zéros non triviaux de zêta et la distribution des nombres premiers. Elle affirme qu’ils se trouvent tous sur une droite verticale précise du plan complexe. Elle n’est ni prouvée ni réfutée, mais une proportion minimale sur cette droite est établie. Avant le résultat décrit, la borne publiée atteignait 41,6%.

Claude s’est appuyé sur des décennies de mathématiques existantes. Anthropic dit qu’il a combiné des travaux récents de Siegfred Alan Baluyot, Daniel Goldston, Ade Irma Suriajaya et Caroline Turnage-Butterbaugh avec un article d’Enrico Bombieri de 2000. Il a utilisé une forme quadratique induite par André Weil et des sous-espaces définis positifs et négatifs associés aux zéros sur et hors de la droite, pour déduire une inégalité de rang d’informations de premier et deuxième moments.

La vérification est essentielle. Deux mathématiciens d’Anthropic ont étudié et validé l’article et préparé une note spécialisée; Brian Conrey et Daniel Goldston l’ont aussi examiné dans un bref délai. Claude a produit dans Lean une preuve formellement vérifiable, afin qu’un assistant contrôle la logique au lieu de dépendre seulement d’une prose convaincante. Article, note, annexe et formalisation ont été publiés avec l’annonce.

Le calcul était considérable: le modèle a travaillé durant deux sessions Claude Code et généré 31 millions de tokens de sortie. Il a décomposé le problème, exploré les travaux antérieurs et révisé son approche pendant une longue exécution. Il ne s’agit pas d’un chatbot ordinaire répondant à un prompt, mais d’un processus coûteux avec outils, vaste contexte et examen ultérieur par des mathématiciens humains.

L’épisode montre pourquoi un cadrage précis est indispensable sur les problèmes ouverts. Claude n’a pas prouvé l’hypothèse, n’a pas établi que 67,2% est définitif et n’a pas supprimé l’examen par les pairs. Il revendique une amélioration d’une borne liée par une nouvelle synthèse de techniques établies; Anthropic juge l’approche peu susceptible de mener à la conjecture complète. Publication et examen par la communauté seront un test plus fort que la validation interne.

Malgré ces limites, le résultat indique que des systèmes de recherche prolongée peuvent contribuer aux domaines où la correction est exigeante. Les preuves formelles séparent un objet logique vérifiable d’une explication persuasive, sans garantir automatiquement définitions, hypothèses et portée. Restent la confirmation indépendante, la généralisation et la reproduction efficace. Pour les laboratoires, la vérification outillée et l’examen expert pourraient compter autant que la capacité à produire des idées.