Du dernier théorème de Fermat, griffonné dans la marge d’un livre en 1637, à sa démonstration par Wiles en 1994, il s’est écoulé plus de 350 ans ; Wiles, lui, s’est isolé pendant sept ans. Cette nuit, Anthropic a lancé Claude Fable 5.2, affirmant que 1 000 agents ont rédigé en 30 heures l’intégralité de la preuve sous forme de code Lean, vérifiable ligne par ligne par une machine, avec presque aucune intervention humaine. Avec ces mêmes 1 000 agents, mais utilisant Opus 5.5, le travail a atteint 26 % en 18 heures, puis s’est pratiquement arrêté.

Les mineurs connaissent bien la course à la quantité. Mais le groupe Opus montre qu’une machine seule ne suffit pas : même avec un millier de machines, on finit par être bloqué.
Tout le monde partage déjà les scores : sur l’indice d’intelligence d’Artificial Analysis, Fable 5.2 Max obtient 64,6, Opus 5.5 59,1 et GPT-6 Astra Max 56,9. J’aimerais apporter le point de vue du monde des cryptos.
Commençons par la vérification. La preuve reste celle de Wiles ; ce qui s’ajoute, c’est une version que la machine peut exécuter. Pour savoir si elle fonctionne, il suffit de la lancer : plus besoin de faire confiance aux évaluateurs. C’est ça, « Ne faites pas confiance, vérifiez ». La vérification formelle des contrats existe depuis longtemps, mais elle coûte cher et prend du temps ; seuls les protocoles de premier plan peuvent se le permettre. Une preuve de l’ampleur du dernier théorème de Fermat peut être réalisée en 30 heures. Je parie que, pour vérifier formellement un protocole de prêt à l’avenir, la principale dépense sera simplement la facture de calcul.
Parlons maintenant de l’audit. Cette fois, un même modèle porte deux noms : Fable est ouvert à tous, mais l’entreprise précise que la plupart des requêtes liées à la sécurité seront bloquées. La version qui ne les bloque pas s’appelle Mythos ; elle est réservée aux institutions qui ont passé la sélection. L’entreprise cite les résultats d’une société de sécurité : parmi les vulnérabilités confirmées par Mythos 5.2, une sur six n’avait été trouvée par aucun autre modèle de pointe. La note de bas de page précise aussi qu’il s’agit des résultats d’un seul organisme de test ; selon les propres tests d’Anthropic, sa capacité à trouver des vulnérabilités est comparable à celle d’Opus 5.5. Pour la DeFi, la question est maintenant de savoir quelles sociétés d’audit ont accès à Mythos.
Et maintenant, le prix. L’API coûte 8 dollars par million de jetons en entrée et 40 dollars en sortie. La génération précédente coûtait respectivement 10 et 50 dollars : c’est 20 % moins cher, avec une vitesse de sortie pouvant être jusqu’à 30 % supérieure. Pourtant, selon The Decoder, avec le réglage maximal sur le benchmark AA, chaque question coûte 26,5 dollars, contre 12,99 dollars pour Fable 5.1 et 10 dollars pour Opus 5.5. C’est un peu comme si le prix du gas baissait, mais que le gas consommé par transaction doublait. Selon Fortune, Anthropic recommande elle-même de privilégier Opus 5.5 au quotidien.
Un dernier point, plus anecdotique : les amis du milieu TapeOut y jetteront peut-être un coup d’œil. Dans la démonstration officielle, à partir d’une simple consigne, Fable 5.2 a conçu trois appareils électroniques fonctionnels : un assistant vocal, un microphone USB pour les réunions et un animal de compagnie électronique. Chacun comprend une carte à quatre couches, un boîtier et un logiciel ; les cartes peuvent être envoyées en fabrication en moins d’une journée et le circuit n’a pas eu besoin d’être modifié après coup. Il s’agit de cartes électroniques, on est encore loin de la fabrication de puces, mais le passage « d’une phrase à une carte » est déjà une réalité.
Selon Fortune, il pourrait s’agir du dernier grand lancement d’Anthropic avant son entrée en bourse. Quel modèle utilisez-vous principalement en ce moment ? Allez-vous changer pour celui-ci ?
——
Publié pour la première fois sur X, @musinoot