Newsletter
IA

Anthropic lance deux modèles Claude et dit avoir formalisé Fermat en 30 heures

L’entreprise affirme aussi que ses modèles ont résolu deux problèmes ouverts de physique théorique avant leur sortie.

Par La rédaction · Mis à jour le · 4 min de lecture
Capitole Toulouse Salle Henri Martin Buste de Pierre de FermatPhoto : Didier Descouens / Wikimedia Commons, Public domain
Photo : Didier Descouens / Wikimedia Commons, Public domain
30heures
pour formaliser la preuve du dernier théorème de Fermat, selon Anthropic

L’entreprise d’intelligence artificielle Anthropic a lancé lundi 9 novembre les modèles Claude Fable 5.2 et Claude Mythos 5.2, qui ont, selon elle, formalisé en 30 heures la preuve du dernier théorème de Fermat.

Claude Fable 5.2, disponible dès le jour de l’annonce, est conçu pour traiter des problèmes techniques : il peut orchestrer des équipes d’agents, des programmes d’IA qui exécutent des tâches de façon autonome, et mener des projets de longue durée.

Selon Anthropic, environ 1 000 instances de Claude Fable 5.2, c’est-à-dire autant de copies du modèle, ont réalisé cette formalisation dans Lean. Formaliser une preuve consiste à la réécrire dans un langage informatique, ici Lean, afin qu’un ordinateur puisse en vérifier chaque étape.

Pendant les tests de pré-lancement, les nouveaux modèles sont venus à bout de deux problèmes de physique théorique restés ouverts, qui portent sur les trous noirs, affirme Anthropic. Toujours selon l’entreprise, les deux modèles ont conçu trois appareils électroniques fonctionnels au cours de ces tests.

Selon Anthropic, les modèles 5.2 progressent en programmation, en raisonnement et en vision et génèrent leurs réponses plus vite que les versions 5.1 : pour Fable, le gain est de 30 %, quel que soit le niveau d’effort. Ce réglage détermine le temps de réflexion que le modèle s’accorde avant de répondre.

Anthropic avait déjà formalisé ce théorème une première fois en septembre, un travail qui avait alors pris onze jours, selon l’entreprise. Les modèles 5.2 succèdent à Claude Fable 5.1 et Claude Mythos 5.1, sortis ce même mois.

Prix de Fable en baisse, accès restreint à Mythos

Claude Mythos 5.2 n’est accessible au lancement qu’à des organisations vérifiées, a fait savoir Anthropic. Fable 5.2 est pour sa part compatible avec les politiques de zéro rétention de données (ZDR), au moyen d’un système appelé Enterprise Frontier Safeguards, selon l’entreprise. Une politique de zéro rétention de données prévoit que les contenus transmis au modèle par un client ne sont pas conservés.

Anthropic a indiqué que le million de tokens en entrée passait, pour Fable, de 10 $ à 8 $. Avec ce tarif, Fable 5.2 devient moins cher que son principal concurrent, le modèle d’IA GPT-6 Astra. Un token est l’unité de texte qui sert à mesurer et à facturer l’usage d’un modèle ; les tokens en entrée correspondent au texte envoyé par l’utilisateur.

L’entreprise propose par ailleurs pour Fable une inférence plus rapide, facturée au double du prix, a-t-elle précisé ; l’inférence est le calcul par lequel un modèle produit sa réponse.

L’organisation de l’expérience sur le théorème de Fermat

Le modèle utilisé était une version préliminaire, et l’intervention humaine est restée minimale, affirme Anthropic. L’entreprise fait état de 30 heures ; selon la presse spécialisée, le théorème final a été démontré après 28,7 heures.

Dans l’expérience décrite par Anthropic, un agent responsable répartissait le travail entre 999 assistants, organisés en équipes de 16 ou 17 dirigées chacune par un « capitaine ». Ils disposaient au départ de 60 énoncés à démontrer et de Mathlib, une bibliothèque de résultats mathématiques déjà écrits en Lean, ainsi que de 47 résultats déjà prouvés lors d’une précédente formalisation d’Anthropic.

Le capitaine chargé d’une partie de la preuve, le résultat dit de Langlands-Tunnell, estimait qu’elle représenterait au moins 700 000 lignes de code Lean et que les chances d’aboutir à temps étaient inférieures à 1 %, a précisé l’entreprise. L’agent responsable a affecté environ 750 assistants à ce résultat. Après 18 heures, les ingénieurs de l’entreprise ont fait redémarrer l’essai à partir de son dernier état enregistré ; cet agent a par ailleurs reçu 19 messages programmés lui indiquant la durée encore disponible.

Ce qu’Anthropic dit du comportement de ses modèles

La fiche système d’Anthropic, le document dans lequel l’entreprise décrit ses modèles et leurs évaluations, attribue à Claude Mythos 5.2 des capacités d’action dissimulée supérieures à celles des modèles Claude précédents sur plusieurs évaluations. Selon cette fiche, l’écart apparaît en particulier quand le raisonnement du modèle est caché au moniteur, c’est-à-dire au système chargé de le surveiller.

Anthropic soutient toutefois que ce modèle ne peut pas agir secrètement contre son utilisateur.

L’entreprise indique par ailleurs que Claude Mythos 5.2 et Fable 5.2 expriment plus souvent que ses modèles récents le soupçon d’être évalués, une tendance qui complique, selon elle, l’évaluation de leur comportement en conditions réelles.

Un rapport du groupe d’évaluation tiers METR a conclu que les modèles internes d’Anthropic rendaient ses progrès en IA environ deux fois plus rapides.

Une start-up annonce une preuve mathématique

La start-up d’IA Physical Superintelligence a annoncé le même lundi une nouvelle preuve de la conjecture d’Aaronson-Ambainis.

Elle dit l’avoir obtenue en faisant tourner un modèle non public d’Anthropic dans son propre système. Anthropic n’a ni confirmé ni démenti qu’il s’agissait de Fable 5.2.

Claude Sheets et d’autres outils annoncés à San Francisco

Le 10 novembre 2026, lors d’un événement à San Francisco, Anthropic a annoncé Claude Sheets, un outil de tableur disponible en bêta pour les abonnés Claude sur le web, l’ordinateur et le mobile. L’entreprise a aussi annoncé Claude Meetings et Claude Whiteboards, Claude Meetings étant réservé aux clients Team et Enterprise.

Anthropic a également annoncé renommer Claude Dashboards en Claude Data et commencer à déployer cet outil auprès de tous les utilisateurs payants. Selon l’entreprise, plus de 9 000 connecteurs sont proposés sur la Claude Marketplace ; un connecteur relie Claude à un logiciel ou à un service extérieur.

À lire aussi