Une version de recherche inédite de Claude d'Anthropic a amélioré un résultat mathématique de longue date lié à l'hypothèse de Riemann, élevant la limite inférieure connue pour la fraction de zéros conformes de 41,6 % à 67,2 %. Cette percée, publiée par Anthropic le 10 août 2026, n’est pas le résultat d’un projet de recherche ciblé, mais du sous-produit inattendu d’un défi simple : s’attaquer réellement à l’un des problèmes non résolus les plus célèbres de toutes les mathématiques. Pour connaître les derniers développements en matière de découverte basée sur l'IA, suivez AI Buzz Wire pour une couverture continue.
L'hypothèse de Riemann, proposée pour la première fois par Bernhard Riemann en 1859, concerne la distribution des nombres premiers et bénéficie d'une prime d'un million de dollars du Clay Mathematics Institute. Cela reste à prouver. Bien que Claude n'ait pas résolu l'hypothèse elle-même, le travail du modèle sur un sous-problème connexe représente une véritable avancée dans la théorie des nombres – une avancée que les mathématiciens humains ont validée.
Comment le défi a commencé
L'effort a commencé lorsque Jarred Sumner, un membre de l'équipe d'Anthropic qui n'est pas mathématicien, a incité Claude à « s'attaquer réellement » à l'hypothèse de Riemann, laissant toutes les décisions mathématiques au modèle. La première tentative de Claude consistait à générer et tester environ 650 idées, dont aucune n'a donné de résultats. Après que Sumner ait encouragé le modèle à réessayer, Claude a passé environ une journée et demie à coordonner environ 60 sous-agents qui ont exploré le problème plus en profondeur.
C'est au cours de cette deuxième tentative que Claude a découvert un moyen de dépasser la limite inférieure de l'état de l'art précédent. Le modèle a révélé que la combinaison des résultats des mathématiciens Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh avec des travaux antérieurs de Bombieri permettait de faire passer la proportion connue de zéros satisfaisant l'hypothèse de 41,6 % à 67,2 %.
Un système d'auto-vérification et d'auto-doute
Ce qui rend le résultat particulièrement frappant est la rigueur avec laquelle Claude a vérifié ses propres conclusions avant de les présenter. Le modèle a envoyé des sous-agents pour examiner les preuves, rechercher des contre-exemples, télécharger 54 articles depuis arXiv pour confirmer que le résultat n'avait pas déjà été publié et prouver à nouveau de manière indépendante les résultats à partir de zéro. L'ensemble de l'effort a consommé 31 millions de jetons de sortie sur deux sessions dans Claude Code.
Ce qui est peut-être le plus remarquable, c'est que Claude était initialement sceptique quant à son propre résultat. Le modèle avait appris des données de formation sur l’extrême difficulté des problèmes ouverts en mathématiques et les limites connues des systèmes d’IA. Il aurait fallu des encouragements avant que Claude accepte que ses conclusions étaient valides. Comme l'a noté Anthropic dans son annonce : « Peut-être que Claude, comme beaucoup d'entre nous, sous-estime le rythme des progrès de l'IA. »
Validation humaine et vérification formelle
La conclusion ne reposait pas uniquement sur la parole de Claude. Deux mathématiciens d'Anthropic — Levent Alpöge et Ralph Furman — ont étudié le travail de Claude et rédigé une note technique informelle destinée aux experts. Alpöge avait déjà fait la une des journaux pour avoir utilisé Claude pour réfuter la conjecture jacobienne vieille de 87 ans, une percée mathématique distincte rapportée plus tôt en août.
Claude a également produit une preuve formelle vérifiée automatiquement de son résultat à l'aide de Lean, un assistant de preuve qui vérifie les arguments mathématiques avec un logiciel. La formalisation, créée avec Eric Easley, membre de l'équipe d'Anthropic, passe l'outil de validation standard appelé comparateur.
Les experts externes Brian Conrey et Dan Goldston, tous deux experts reconnus dans l'étude de la fonction zêta de Riemann, ont examiné l'article dans un bref délai et ont validé l'approche.
Ce que signifie le résultat
La fonction zêta de Riemann décrit la distribution des nombres premiers : chaque zéro de la fonction contribue successivement à des détails plus fins à la séquence de nombres premiers. L'hypothèse de Riemann prédit que tous les zéros déterminant les nombres premiers se situent le long d'une seule ligne verticale dans le plan complexe. Prouver cela est devenu l’une des conjectures les plus importantes en mathématiques, avec des centaines de résultats qui en dépendent comme hypothèse.
Même si personne n’a prouvé ou infirmé l’hypothèse complète, les mathématiciens ont fait des progrès progressifs en quantifiant la proportion minimale de zéros qui se trouvent sur la ligne. Au fil des décennies de recherche, cette constante connue a été poussée à 41,6 %. L'amélioration de Claude à 67,2 % constitue le plus grand bond de cette mesure depuis des années.
Anthropic a averti qu'il est peu probable que les techniques utilisées par Claude conduisent à une preuve complète de l'hypothèse de Riemann. Cependant, le résultat démontre que les modèles d’IA peuvent étendre la portée des idées des mathématiciens dans des directions nouvelles et parfois surprenantes.
Un modèle de découvertes mathématiques de l'IA
L’avancée zêta de Riemann fait suite à une liste croissante de percées mathématiques assistées par l’IA. Plus tôt en 2026, un modèle OpenAI appelé Astra a résolu dix problèmes mathématiques non résolus depuis longtemps avec des preuves vérifiées par machine. Claude Fable 5, d'Anthropic, avait réfuté la conjecture jacobienne quelques semaines plus tôt. Ces résultats suggèrent que les modèles d’IA de pointe vont au-delà de la reconnaissance de formes et de la génération de texte pour s’orienter vers une véritable recherche mathématique.
La découverte du zêta de Riemann par Claude se distingue sur un point : elle n'est pas le produit d'un programme de recherche dirigé. Cela est apparu lorsqu’un non-mathématicien a posé une question déraisonnable à un modèle d’IA, et le modèle a répondu avec quelque chose qu’aucun humain n’avait trouvé auparavant.
Gardez une longueur d'avance sur l'IA
Pour les dernières nouvelles sur l’IA, les avancées en matière de recherche et les analyses du secteur, visitez AI Buzz Wire.
Lire plus d'actualités sur l'IA
