Claude Anthropic améliore un bornage du Riemann zeta de 41,6 % à 67,2 % via 60 sous-agents
Summary
Anthropic a publié le 10 août les résultats d'un test où une version de recherche non publiée de Claude a été lancée sur l'hypothèse de Riemann. Le modèle n'a pas résolu le problème mais a amélioré un bornage classique en portant la fraction de zéros de la fonction zeta satisfaisant l'hypothèse de 41,6 % à 67,2 %, en combinant les travaux récents de Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh avec ceux de Bombieri (2000). Deux mathématiciens d'Anthropic, puis Brian Conrey et Dan Goldston, ont validé le résultat, formalisé en Lean, obtenu via 60 sous-agents, 2 400 commandes shell et des milliers de vérifications numériques.
Shared on Bluesky by 4 AI experts
-
We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis. It didn’t solve it, but it did make strides on a related problem: it increased the lower bound for the fraction of zeros of the …
View on Bluesky →
Originally reported by anthropic.com
Read the original article →Original headline: Claude Anthropic améliore un bornage du Riemann zeta de 41,6 % à 67,2 % via 60 sous-agents