Sortie
Anthropic publie FlashProve pour vérifier l'origine des réponses des modèles d'IA.
Des preuves cryptographiques vérifient qu'une réponse vient du modèle annoncé sans révéler ses poids.
Selon Anthropic, ces preuves peuvent aider à détecter la substitution d'un modèle sur un serveur compromis.
En 4-bit, les preuves de Llama 4 Maverick prennent environ 70 à 95 fois le temps GPU de l'inférence avec vLLM.
Le code, les preuves Lean et la documentation sont publiés sous licence Apache 2.0.