Claude d'Anthropic fait avancer l'hypothèse de Riemann : la borne zêta passe de 41,6 % à 67,2 %
(Publié le 05/10/2026 sur le site de recherche d'Anthropic ; repris par Ground News le 07/10)
Points clés
- Ce qui a été fait : une version de recherche non publiée de Claude, d'Anthropic, a fait passer de 41,6 % à 67,2 % une borne zêta liée à l'hypothèse de Riemann. Les mathématiciens avaient grignoté cette borne petit à petit pendant des décennies ; l'IA l'a relevée d'un coup de façon notable.
- Crédibilité : Anthropic ne prétend pas avoir résolu l'hypothèse de Riemann et limite expressément le résultat à l'amélioration d'une borne numérique. Le résultat a été vérifié mécaniquement dans le langage de preuve formelle Lean, puis publié après relecture par des mathématiciens internes.
- Contexte : il y a moins de deux semaines, Anthropic a achevé la première formalisation informatique complète du dernier théorème de Fermat ; il y a quelques jours, OpenAI a publié d'un seul coup 722 articles couvrant 377 problèmes mathématiques ouverts.
- Pourquoi c'est important : les mathématiques deviennent le nouveau terrain de compétition des laboratoires d'IA de pointe, à la place des classements de programmation : il s'agit de savoir quel modèle réalise un vrai travail reconnu par les mathématiciens humains.
Source : lire l'original. Ce texte est un résumé fourni à titre indicatif uniquement.
