Anthropic lance Claude Fable 5.2 : 1 000 agents formalisent le théorème de Fermat en 30 heures

Anthropic a publié deux modèles à la fois : Claude Fable 5.2 et Mythos 5.2. Ils reposent sur un même modèle de base ; la différence tient aux mécanismes de protection. La démonstration la plus remarquée : mille agents ont formalisé en 30 heures la preuve du grand théorème de Fermat en Lean. Cela ressemble à un tour de magie de vulgarisation scientifique, mais derrière se cache une histoire d'ingénierie très concrète.

Ce qui a été montré en pratique

Lean est un langage dans lequel c'est le compilateur, et non un relecteur, qui vérifie la preuve. La moindre faille dans le raisonnement empêche simplement la compilation. La formalisation est donc un travail immense, fastidieux et très rigoureux, proche du refactoring d'une gigantesque base de code dotée d'un système de types strict. La précédente version de recherche de Claude y avait consacré 11 jours ; les mille agents de la nouvelle version, 30 heures. Pour un développeur, ce qui compte n'est pas le théorème lui-même mais le schéma : une grande tâche est découpée en morceaux, des centaines d'agents prennent ces morceaux en parallèle, et un vérificateur automatique écarte les rebuts.

Les autres annonces d'Anthropic vont dans le même sens. Fable 5.2 a résolu deux problèmes ouverts liés à la physique des trous noirs. Le modèle a conçu trois appareils fonctionnels, avec circuits imprimés, boîtiers et logiciel. Et plus de 90 % des modifications intégrées au code principal d'Anthropic sont désormais écrites par Claude avec la participation d'humains. L'affirmation est forte, mais ce sont des données fournies par l'entreprise sur elle-même, sans vérification indépendante pour l'instant.

Prix, vitesse et deux versions

La nouvelle génération est jusqu'à 30 % plus rapide que la précédente. Le prix : 8 $ par million de jetons en entrée et 40 $ par million en sortie. Il existe un Fast Mode, jusqu'à 2,5 fois plus rapide, mais à 16 $ et 80 $ respectivement. L'arithmétique est simple : l'accélération coûte exactement le double, ce mode a donc du sens là où la latence compte — assistants interactifs, agents d'IDE en direct — plutôt que pour des traitements par lots de nuit.

Les versions se distinguent par l'accès. Fable 5.2 est ouverte à un large public et déjà disponible dans Claude, via l'API, ainsi que sur AWS, Google Cloud et Microsoft Azure. Mythos 5.2 est destinée aux organisations vérifiées en cybersécurité et en recherche biomédicale. Selon un test interne d'Anthropic, elle détecte 10,2 % de vulnérabilités de plus qu'Opus 5.5. Le test étant interne, il vaut mieux considérer ce chiffre comme une déclaration que comme un benchmark indépendant.

Que faire pour un développeur ou un product manager

Premièrement, recalculer l'économie des pipelines d'agents. Les jetons de sortie coûtent cinq fois plus cher que ceux d'entrée ; les agents qui « réfléchissent » et écrivent beaucoup deviendront donc le premier poste de dépenses. Fixez des limites à la longueur des sorties et mettez en cache tout ce qui peut l'être.

Deuxièmement, reprendre l'idée de Lean : donnez à vos agents un vérificateur automatique strict. Dans le code, ce sont les tests, les types et les linters ; dans les données, les schémas et les validateurs. Plus la vérification est stricte, plus il est sûr de confier aux agents du travail en parallèle.

Troisièmement, ne pas croire les chiffres du premier coup. « Jusqu'à 30 % plus rapide », un gain de 10,2 %, 90 % du code : ce sont autant de déclarations du fournisseur. Testez Fable 5.2 sur vos propres tâches et comparez le coût d'une tâche résolue, et non le coût du jeton.

Enfin, si vous travaillez dans la sécurité ou la biomédecine, renseignez-vous sur la procédure de vérification des organisations pour accéder à Mythos. Pour tous les autres, Fable suffira : le modèle de base est commun, seules les restrictions diffèrent.