Anthropic a présenté FlashProve, un prototype de recherche permettant de vérifier certains résultats d’IA par rapport aux poids déclarés du modèle sans révéler ces poids. Sa démonstration avec Llama 4 Maverick nécessite environ 70 à 95 fois plus de temps de calcul GPU que l’inférence de référence en FP8 sur vLLM, tandis que chaque preuve occupe environ 19 Mo et peut être vérifiée sur CPU. La preuve confirme le calcul effectué par le modèleow Commitmenté, mais ne garantit ni l’identité authentifiée du modèle ni la véracité factuelle de la réponse. La version actuelle, limitée à 1 024 jetons, ne concerne pas les clients de Claude et demeure un artefact de recherche non maintenu, sans preuve formelle d’équivalence entre le code exécutable et le protocole, ni encore de garantie de zéro connaissance pour les requêtes regroupées en lots.
Source: Lire l’article original
