Нерелизный Claude повысил нижнюю оценку нулей дзета-функции Римана до 67,2%

Une version de recherche non publiée de Claude, d'Anthropic, le 10 août 2026, a amélioré la borne inférieure de la proportion des zéros de la fonction zêta de Riemann situés sur la droite critique, en la faisant passer de 41,6 % à 67,2 % — un résultat vérifié par deux mathématiciens de l'entreprise et deux experts extérieurs de premier plan.

Qu'est-ce que la conjecture de

Riemann et pourquoi 41,6 % est important

La conjecture de Riemann, formulée en 1859, est l'un des problèmes non résolus les plus célèbres des mathématiques, pour la démonstration duquel l'Institut Clay offre un million de dollars. La fonction zêta de Riemann décrit la distribution des nombres premiers : chacun de ses zéros non triviaux apporte des informations de plus en plus précises sur la suite des nombres premiers. La conjecture affirme que tous ces zéros se trouvent sur une seule droite verticale — la droite critique.

Personne n'a encore réussi à démontrer ni à réfuter cette affirmation. Parallèlement, les mathématiciens ont progressivement augmenté la borne inférieure : quelle proportion minimale de zéros peut être garantie de se trouver sur la droite critique. Avant le résultat de Claude, ce record se situait à 41,6 %.

Comment Claude est parvenu au résultat

Claude a amélioré la borne inférieure à 67,2 %, en s'appuyant sur une synthèse de plusieurs lignes de recherche mathématique.

• Record précédent de la borne inférieure : 41,6 % (maintenu pendant de nombreuses années)
• Nouveau résultat : 67,2 % — une augmentation de plus de 25 points de pourcentage
• La méthode utilise une série de travaux de Balouet, Goldston, Suriajaya et Turnage-Butterbaugh, qui ont permis d'appliquer les techniques de Montgomery de 1973 sans supposer la validité de la conjecture
• L'article de Bombieri de 2000 a joué un rôle clé
• La démonstration a été vérifiée par deux mathématiciens d'Anthropic ; à la demande de l'entreprise, elle a été examinée de manière indépendante par les professeurs Brian Conrey et Dan Goldston — des spécialistes de premier plan en théorie analytique des nombres
• Claude a en outre construit une démonstration formellement vérifiable, susceptible d'une vérification automatique

Un employé d'Anthropic a proposé à Claude de tenter sérieusement de démontrer la conjecture de Riemann. Au cours de cette tentative, le modèle n'a pas résolu le problème de 1859, mais a trouvé une voie inattendue pour améliorer la borne inférieure. Techniquement, Claude a construit un espace de fonctions avec une forme quadratique induite par Weil, et a identifié des sous-espaces à définition positive et négative — et, selon la description d'Anthropic, l'étape clé a été la volonté de travailler avec l'espace dans son entier, sans simplifier la forme quadratique en une forme diagonale.

Ce que ce résultat signifie pour l'IA dans la science

Selon l'évaluation d'Anthropic, les techniques utilisées ont peu de chances de mener directement à une démonstration complète de la conjecture de Riemann. Néanmoins, le résultat est remarquable : un modèle d'IA a synthétisé l'arsenal mathématique de plusieurs décennies et trouvé une connexion que personne n'avait remarquée auparavant.

«

Son travail constitue le dernier exemple en date de la vitesse des progrès des capacités mathématiques des modèles d'IA », peut-on lire sur le blog officiel d'Anthropic, publié le 10 août 2026.

Selon la description d'Anthropic, la percée a été rendue possible grâce au fait que des travaux récents ont permis de supprimer la dépendance à l'hypothèse de validité de la conjecture de Riemann — et c'est à ce moment précis que la combinaison de sources a produit un résultat dépassant le record précédent.

Ce que cela signifie

Les modèles de langage passent de raisonnements plausibles sur les mathématiques à des démonstrations vérifiables reconnues par la communauté des experts. Le résultat de Claude est formellement vérifiable et confirmé par des spécialistes indépendants — c'est un niveau qualitativement différent de la génération de textes à « consonance mathématique ».

Questions fréquentes

Claude a-t-il démontré la conjecture de Riemann ?

Non. Claude a amélioré la borne inférieure de la proportion de zéros de la fonction zêta sur la droite critique de 41,6 % à 67,2 %, mais la conjecture elle-même reste non démontrée — ce sont des problèmes fondamentalement différents.

Qui a confirmé la correction de la démonstration ?

Deux mathématiciens d'Anthropic ont étudié et vérifié le travail, en rédigeant un bref résumé pour les spécialistes. À la demande de l'entreprise, le résultat a été vérifié de manière indépendante par les professeurs Brian Conrey et Dan Goldston, qui se spécialisent précisément dans ce domaine de la théorie des nombres.

Existe-t-il une démonstration formellement vérifiable ?

Oui. En plus du texte mathématique substantiel, Claude a construit une démonstration formellement vérifiable qui peut être vérifiée automatiquement à l'aide de systèmes de vérification formelle.