Claude repousse une borne vieille de quinze ans sur l'hypothèse de Riemann
— AGENTS
Une version de recherche de Claude a fait progresser une borne mathématique restée figée depuis les travaux de Pratt, Robles, Zaharescu et Zeindler, sans toucher au problème du millénaire lui-même. La preuve a été formalisée intégralement et relue par des mathématiciens spécialistes du sujet avant publication.
Aucun créatif ne va se pencher sur la ligne critique de la fonction zêta un lundi matin, et ce n'est pas le sujet. Ce que ce papier montre, c'est qu'un modèle de langage a produit, seul face à un problème ouvert, un résultat qui a tenu la relecture de spécialistes du domaine et une vérification automatique ligne par ligne.
Le détail qui compte pour comprendre l'ampleur de la chose : la meilleure borne connue sur la part de zéros situés sur cette ligne critique était bloquée depuis plus d'une décennie autour de cinq douzièmes. Claude l'a fait grimper à environ deux tiers, avec une démonstration entièrement traçable, pas une intuition invérifiable.
Ce genre de démonstration formalisée dans un système qui vérifie chaque étape sans trou logique est exactement ce que réclament les chercheurs qui restent méfiants envers les réponses de chatbot bien tournées mais fragiles. Anthropic ne montre pas ici un modèle qui répond vite, mais un modèle qui a fait tourner des dizaines de sous-processus pour chasser ses propres erreurs avant de livrer un texte relu par des humains reconnus sur ce terrain précis.
La limite tient en une phrase, et elle est postée par l'entreprise elle-même : ce résultat ne prouve ni ne réfute l'hypothèse de Riemann, il ne fait qu'élargir la zone certifiée. Autrement dit, la machine a avancé un pion, pas gagné la partie.
Pour les métiers créatifs, l'enjeu n'est pas dans les zéros de zêta mais dans ce que cette démonstration dit des labs qui vendent les mêmes modèles pour écrire des briefs, coder des workflows ou piloter des agents de production. Un modèle capable de tenir un raisonnement complexe sous contrôle humain et formel pendant des heures sans dérailler, c'est la même brique qui finira par orchestrer des chaînes d'agents créatifs fiables plutôt que bavards. La course entre laboratoires ne se joue plus seulement sur qui génère la plus belle image, mais sur qui sait prouver que sa machine raisonne juste, et ce critère-là va peser lourd dans le choix des outils professionnels de demain.