Demander à une IA de « s’attaquer vraiment » à l’hypothèse de Riemann paraît déraisonnable. C’est pourtant l’instruction qu’un salarié d’Anthropic a donnée à une version de recherche de Claude. Le modèle n’a pas résolu la conjecture, mais son exploration aurait produit une avancée connexe : une borne de 67,2 %, contre 41,6 % auparavant, pour la proportion de zéros non triviaux connus comme satisfaisant la propriété attendue.
La nuance essentielle
L’hypothèse de Riemann affirme que tous les zéros non triviaux de la fonction zêta ont une partie réelle égale à 1/2. Démontrer que beaucoup de zéros se trouvent sur cette ligne ne démontre pas qu’ils y sont tous.
Le résultat annoncé par Anthropic est donc un progrès sur une question liée, pas la résolution du problème du millénaire. Cette distinction évite le titre trompeur « une IA résout Riemann ».
Une exploration multi-agent à grande échelle
Claude a d’abord produit environ 650 idées infructueuses. Lors d’une seconde session, une soixantaine de sous-agents ont exploré des pistes, exécuté 2 400 commandes shell et écrit des centaines de scripts Python. Deux agents auraient développé les idées principales, tandis que d’autres cherchaient des contre-exemples ou relisaient les arguments.
Le processus a mobilisé 31 millions de tokens en sortie. Les agents ont aussi téléchargé des articles, comparé le résultat à la littérature et tenté une seconde démonstration indépendante. Deux mathématiciens employés par Anthropic, Levent Alpöge et Ralph Furman, ont ensuite étudié le travail. Une formalisation Lean a été publiée.
L’échec utile comme méthode scientifique
Cette histoire est intéressante parce que l’objectif initial n’a pas été atteint. Dans la recherche, une tentative ambitieuse peut révéler un lemme, une méthode ou une borne nouvelle. Le système n’a pas seulement répondu « impossible » : il a exploré assez profondément pour rencontrer une question à sa portée.
Cela rapproche les agents de certains usages réels de la recherche :
- générer un grand nombre de directions ;
- éliminer rapidement les impasses ;
- vérifier numériquement des identités ;
- confronter une idée à la littérature ;
- demander une validation humaine quand le résultat dépasse leur niveau de confiance.
Une validation encore située
Les contrôles décrits sont substantiels, mais ils proviennent principalement d’Anthropic et de ses collaborateurs. La publication des documents et de la formalisation permet désormais un examen plus large. C’est cette phase externe qui dira comment le résultat s’insère durablement dans la théorie analytique des nombres.
Il faut aussi éviter de confondre volume de calcul et compréhension. Des milliers d’essais peuvent accélérer la recherche sans produire une explication claire. La valeur scientifique dépendra aussi de la capacité à condenser l’argument en concepts que d’autres chercheurs pourront réutiliser.
Source principale
- Anthropic — Learning more about Claude’s mathematical capabilities, 10 août 2026, mise à jour le 13 août.
FAQ
Claude a-t-il démontré l’hypothèse de Riemann ?
Non. Il a amélioré une borne sur la proportion de zéros dont on sait qu’ils se trouvent sur la ligne critique, ce qui est un résultat connexe.
Le résultat est-il uniquement numérique ?
Non. Anthropic présente une argumentation mathématique, une note rédigée par ses mathématiciens et une formalisation Lean, en plus des contrôles numériques.