Anthropic : une IA progresse sur l'hypothèse de Riemann
Original : An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Pourquoi c'est important
Montre que les LLM peuvent produire de véritables avancées sur des problèmes mathématiques ouverts majeurs.
Anthropic a annoncé le 11 août 2026 qu'un modèle inédit a fait avancer l'hypothèse de Riemann, l'un des grands problèmes non résolus des mathématiques, en testant 650 idées via 60 sous-agents sur 36 heures, sans intervention d'un mathématicien.
Anthropic a révélé lundi qu'un modèle d'IA non encore publié a réalisé une avancée significative sur l'hypothèse de Riemann, mystère mathématique vieux de 150 ans portant sur la distribution des nombres premiers et doté d'une récompense de 1 million de dollars. Un employé d'Anthropic sans formation mathématique avancée a simplement demandé au modèle de « faire une vraie tentative » de preuve, puis l'a laissé opérer seul pendant 36 heures. Le modèle a coordonné 60 sous-agents et dépensé 31 millions de tokens en sortie pour tester 650 approches différentes. Parmi les sous-agents, deux ont développé les idées mathématiques clés, 13 ont contribué à ces idées, 30 ont échoué à en produire de nouvelles, 13 ont servi de validateurs et deux ont rédigé le papier initial. Les résultats ont été confirmés par deux mathématiciens internes d'Anthropic et formalisés via l'assistant de preuve open source Lean. Cette annonce s'inscrit dans une série de percées : OpenAI a récemment publié 10 résultats majeurs via son modèle interne « Astra », et Anthropic a réfuté la conjecture de Jacobi. Si la communauté mathématique débat des implications éthiques — notamment sur l'attribution des découvertes —, le lauréat de la médaille Fields Timothy Gowers estime que l'IA pourrait transformer positivement le domaine.