Claude progresse sur un problème mathématique vieux de 167 ans : 31 millions de jetons, 60 agents, et un bond de 41,6 % à 67,2 %

Le modèle Claude d'Anthropic a fait sortir de l'ornière un problème mathématique vieux de 167 ans, en réalisant une percée significative. Ce problème, posé en 1859, trouve ses racines dans la théorie analytique des nombres et concerne la nature des nombres premiers. Les performances de Claude sur ce problème sont passées de 41,6 % à 67,2 % après l'application d'un nouveau régime d'entraînement. Le modèle a consommé 31 millions de jetons, ce qui équivaut à environ 25,6 millions de mots, et au cours du processus, il a généré 650 gigaoctets de données. Pour résoudre ce problème, Claude a utilisé 60 agents spécialisés, chacun analysant environ 2400 articles, dont 54 articles pertinents d'arXiv, afin de garantir la solidité de son raisonnement. Le recours à l'apprentissage par renforcement et à la vérification via Lean, un assistant de preuve, a été crucial. Anthropic attribue ce succès à cette combinaison de calcul à grande échelle et de vérification formelle, marquant ainsi une nouvelle étape dans la découverte mathématique assistée par l'intelligence artificielle.