Rapports sur l'IA · Anthropic · 2026-11-02 · Blog / commentaire
Avancées sur l’inférence prouvable pour les grands modèles de langage
Titre original: Progress on provable inference for large language models
Anthropic présente l'avancement de ses travaux sur des preuves cryptographiques fondées sur les zkSNARK pour l'inférence vérifiable de modèles, principalement à travers un système appelé FlashProve. Ces preuves permettent à un fournisseur de modèle de s'engager sur un modèle et de prouver que chaque réponse en provient, ce qui, selon l'article, est difficile à vérifier à partir des seules sorties. D'après l'extrait, pour Llama 4 Maverick (un modèle de type mixture d'experts de 400B paramètres) avec des poids quantifiés sur 4 bits, un seul GPU H100 génère des preuves à environ 110 tokens par seconde, avec une taille de preuve d'environ 19 Mo par requête de 1 024 tokens.