Un modèle de recherche non publié d’Anthropic a produit une avancée mathématique vérifiée sur l’hypothèse de Riemann, l’un des problèmes non résolus les plus célèbres des mathématiques, doté d’une récompense d’un million de dollars par le Clay Mathematics Institute. Le résultat, rapporté le 11 août 2026 par TechCrunch, a été confirmé par deux mathématiciens internes à Anthropic puis formalisé à l’aide de l’assistant de preuve open source Lean.
650 idées testées par 60 sous-agents
Pour obtenir ce résultat, le modèle a mobilisé 60 sous-agents ayant testé 650 idées différentes sur une durée de 1,5 jour, consommant au total 31 millions de tokens de sortie. Sur l’ensemble de ces sous-agents, deux seulement ont développé les idées mathématiques clés du résultat final. Treize ont apporté des idées de soutien, treize autres ont validé les arguments produits, trente ont tenté une piste sans succès, et deux derniers sous-agents ont rédigé l’article final présentant la démonstration.
Une borne inférieure repoussée, pas une preuve complète
Le modèle n’a pas résolu l’hypothèse de Riemann dans son ensemble — un objectif qui reste hors de portée de l’IA comme des mathématiciens humains à ce jour. Il a en revanche significativement repoussé la borne inférieure du nombre de solutions pour lesquelles l’hypothèse est vérifiée comme vraie, un type de progrès incrémental classique dans ce champ de recherche, mais notable par la vitesse et l’autonomie avec lesquelles il a été obtenu.
Une validation humaine qui reste nécessaire
Le recours à l’assistant de preuve Lean pour formaliser le résultat, ainsi que la relecture par deux mathématiciens d’Anthropic, souligne que ce type de production reste soumis à une vérification humaine rigoureuse avant d’être considéré comme fiable. Anthropic n’a pas précisé quel modèle de recherche non publié était à l’origine de ce travail, ni communiqué de calendrier de publication éventuelle.
Plus de détails sont disponibles dans l’article original de TechCrunch.
Le modèle Anthropic a-t-il résolu l’hypothèse de Riemann ?
Non. Le modèle a repoussé significativement la borne inférieure du nombre de solutions pour lesquelles l’hypothèse est vérifiée, mais n’a pas produit de preuve complète du problème.
Comment le résultat a-t-il été obtenu ?
60 sous-agents ont testé 650 idées différentes en 1,5 jour, consommant 31 millions de tokens. Deux d’entre eux ont développé les idées mathématiques clés, validées ensuite par d’autres sous-agents.
Comment le résultat a-t-il été vérifié ?
Deux mathématiciens internes à Anthropic ont confirmé les conclusions, qui ont ensuite été formalisées avec l’assistant de preuve open source Lean.
