Claude a-t-il démontré l'hypothèse de Riemann ?

Non. Claude n'a pas démontré l'hypothèse de Riemann. Il a amélioré une borne connexe : la proportion minimale de zéros de la fonction zêta qui se trouvent sur la droite critique. Cette borne passe de 41,6% à 67,2%. L'hypothèse de Riemann, qui stipule que 100% des zéros non triviaux sont sur cette ligne, reste non démontrée.

Comment Claude a-t-il trouvé ce résultat ?

Un membre du staff d'Anthropic, Jarred Sumner (non mathématicien), a demandé à une version de recherche non publiée de Claude de s'attaquer à l'hypothèse de Riemann. Claude a coordonné environ 60 sous-agents, lancé 2 400 commandes shell, écrit des centaines de scripts Python et consommé 31 millions de tokens de sortie sur deux sessions. Les 650 premières idées n'ont rien donné. La deuxième session a produit le résultat.

Le résultat de Claude est-il vérifié ?

Deux mathématiciens d'Anthropic (Levent Alpöge et Ralph Furman) ont examiné la preuve. Deux experts externes (Brian Conrey et Dan Goldston) l'ont inspectée rapidement. Claude a aussi produit une formalisation en Lean, un assistant de preuve informatique, qui passe l'outil de validation standard. La communauté mathématique appelle toutefois à une vérification indépendante plus large.

Quelle est la technique que Claude a utilisée ?

Claude a combiné les travaux récents de Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh avec un article de Bombieri de 2000. L'idée clé est de considérer l'espace complet des fonctions avec une forme quadratique induite par Weil, en prenant en compte simultanément les sous-espaces définis positifs et négatifs, plutôt que de les traiter séparément comme le faisaient les approches précédentes.

Actualité · Recherche IA

Claude et l'hypothèse de Riemann : 67,2% des zéros sur la ligne critique, prouvés par une IA

11 août 2026 · 6 min de lecture

Le 10 août 2026, Anthropic a publié un résultat qui a fait l'effet d'une petite secousse dans le monde des mathématiques. Une version de recherche non publiée de Claude a fait passer la borne prouvée de zéros de la fonction zêta de Riemann sur la droite critique de 41,6% à 67,2%. Ce n'est pas une démonstration de l'hypothèse de Riemann. Mais c'est un résultat nouveau, produit par une IA, et vérifié.

Le contexte : l'hypothèse de Riemann en deux minutes

La fonction zêta de Riemann décrit la distribution des nombres premiers. Chaque zéro de la fonction (les valeurs où elle s'annule) ajoute une précision à cette distribution. L'hypothèse de Riemann, formulée en 1859, dit que tous les zéros non triviaux se trouvent sur une même ligne verticale dans le plan complexe, la droite critique. C'est l'un des sept problèmes du millénaire de l'Institut Clay, avec un million de dollars à la clé.

Personne n'a démontré ni réfuté l'hypothèse. En revanche, les mathématiciens ont progressé sur une question connexe : quelle proportion de zéros peut-on garantir sur la droite critique ? Cette borne est montée lentement au fil des décennies, jusqu'à 41,6% avant le résultat de Claude.

Ce que Claude a fait

Jarred Sumner, un membre du staff d'Anthropic qui n'est pas mathématicien, a demandé à une version de recherche de Claude de "s'attaquer pour de vrai" à l'hypothèse de Riemann. Il a laissé le modèle choisir la stratégie mathématique.

La première session a généré 650 idées. Aucune n'a abouti. Jarred a relancé Claude, et la deuxième session a pris une direction différente. Claude a coordonné une soixantaine de sous-agents qui ont lancé 2 400 commandes shell, écrit des centaines de scripts Python, et consommé 31 millions de tokens de sortie au total. Les sous-agents ont vérifié les résultats contre des zéros connus, téléchargé 54 papiers de l'arXiv pour s'assurer que le résultat n'avait pas déjà été publié, et se sont référés entre eux.

La contribution de Jarred s'est limitée à des messages d'encouragement. Des variantes de "continue" et "crois en toi". Claude était sceptique sur ses chances de progression, ce qui est amusant si on pense que le modèle a appris la difficulté des problèmes ouverts pendant son entraînement.

Le résultat technique

Claude a trouvé que la combinaison des travaux récents de Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh avec un article de Bombieri de 2000 permet de dépasser les 41,6%.

L'idée centrale : Claude construit un espace de fonctions avec une forme quadratique induite par Weil, où les sous-espaces définis positifs correspondent aux zéros sur la droite et les négatifs aux zéros hors de la droite. Au lieu de traiter ces sous-espaces séparément, Claude considère l'espace complet avec une forme quadratique non diagonale. C'est ce pas, traiter tout l'espace d'un coup en acceptant que la forme ne soit pas diagonale, qui permet d'atteindre la conclusion.

Les techniques ne sont pas nouvelles. Ce qui est nouveau, c'est la combinaison et le courage de traiter le problème entier plutôt que de le découper.

La vérification

Anthropic a fait vérifier le résultat de plusieurs façons :

Deux mathématiciens internes, Levent Alpöge et Ralph Furman, ont examiné le papier et produit une note technique pour experts.
Brian Conrey et Dan Goldston, deux spécialistes du domaine, ont inspecté le travail à court délai.
Claude a produit une formalisation en Lean (un assistant de preuve informatique) qui passe l'outil de validation standard appelé comparator.

La formalisation en Lean est importante. Une preuve vérifiée par Lean est une preuve dont la logique est contrôlée par un programme, pas par une opinion humaine. Ça ne garantit pas que le résultat est intéressant, mais ça garantit qu'il est correct sur le plan logique.

La communauté mathématique appelle toutefois à une vérification indépendante plus large, ce qui est normal pour tout résultat mathématique récent.

Un exemple chez Maisons&Mobilia

Pierre, développeur chez Maisons&Mobilia (M&M, enseigne de meubles fictive), lit la news et se demande ce que ça change pour lui. La réponse directe : pas grand-chose sur son quotidien. Il ne calcule pas de zéros de fonction zêta.

Ce qui le concerne, c'est le signal. Si une IA peut produire un résultat mathématique nouveau, vérifié par un assistant de preuve, c'est que les modèles ont franchi un seuil. Ils ne se contentent plus de reformuler ce qu'ils ont vu en entraînement. Ils combinent des idées existantes d'une façon que personne n'avait essayée, et le résultat tient.

Pour Pierre, qui utilise des agents IA pour analyser des stocks et générer des rapports, ça veut dire que les agents sont capables de raisonnement créatif sur des problèmes complexes. Pas encore sur n'importe quel problème, mais la barre monte.

Ce que ça dit sur la progression des modèles

Anthropic souligne que les techniques utilisées par Claude ne mèneront probablement pas à une démonstration de l'hypothèse de Riemann elle-même. Le résultat est un sous-produit inattendu d'une tentative sur un problème plus large.

Ce qui est frappant, c'est la méthodologie. Claude n'a pas trouvé le résultat en une passe. Il a échoué 650 fois, puis a coordonné 60 sous-agents qui ont exploré en parallèle, vérifié, croisé, réfuté. C'est une architecture de recherche, pas une simple inférence. Le modèle s'est organisé comme une équipe de mathématiciens qui se corrige mutuellement.

Et le résultat est arrivé en un jour et demi. Pas en dix ans.

Aller plus loin

Pour comprendre comment les agents IA utilisent des outils et coordonnent des sous-tâches, notre article sur comment fonctionne un agent IA pose les bases. Pour voir comment MCP connecte les agents à des services externes, le guide sur MCP, le standard qui connecte les agents aux outils détaille le protocole. Et pour t'entraîner à ces notions en 5 minutes par jour, l'app saisir.ai propose des modules interactifs sur les agents, le raisonnement et le tool use, en français, sans coder.

Sources

Questions fréquentes

Claude a-t-il démontré l'hypothèse de Riemann ?: Non. Claude n'a pas démontré l'hypothèse de Riemann. Il a amélioré une borne connexe : la proportion minimale de zéros de la fonction zêta qui se trouvent sur la droite critique. Cette borne passe de 41,6% à 67,2%. L'hypothèse de Riemann, qui stipule que 100% des zéros non triviaux sont sur cette ligne, reste non démontrée.
Qu'est-ce que la fonction zêta de Riemann ?: La fonction zêta de Riemann est une fonction mathématique complexe qui décrit la distribution des nombres premiers. Ses zéros (les valeurs où la fonction vaut zéro) déterminent la finesse de cette distribution. L'hypothèse de Riemann, formulée en 1859, dit que tous les zéros non triviaux se trouvent sur une même ligne verticale dans le plan complexe. C'est l'un des sept problèmes du millénaire, avec une récompense d'un million de dollars.
Comment Claude a-t-il trouvé ce résultat ?: Un membre du staff d'Anthropic, Jarred Sumner (non mathématicien), a demandé à une version de recherche non publiée de Claude de s'attaquer à l'hypothèse de Riemann. Claude a coordonné environ 60 sous-agents, lancé 2 400 commandes shell, écrit des centaines de scripts Python et consommé 31 millions de tokens de sortie sur deux sessions. Les 650 premières idées n'ont rien donné. La deuxième session a produit le résultat.
Le résultat de Claude est-il vérifié ?: Deux mathématiciens d'Anthropic (Levent Alpöge et Ralph Furman) ont examiné la preuve. Deux experts externes (Brian Conrey et Dan Goldston) l'ont inspectée rapidement. Claude a aussi produit une formalisation en Lean, un assistant de preuve informatique, qui passe l'outil de validation standard. La communauté mathématique appelle toutefois à une vérification indépendante plus large.
Quelle est la technique que Claude a utilisée ?: Claude a combiné les travaux récents de Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh avec un article de Bombieri de 2000. L'idée clé est de considérer l'espace complet des fonctions avec une forme quadratique induite par Weil, en prenant en compte simultanément les sous-espaces définis positifs et négatifs, plutôt que de les traiter séparément comme le faisaient les approches précédentes.