Le fournisseur s’engage d’abord sur les paramètres du modèle, puis joint une preuve vérifiable au calcul. Cette garantie porte sur l’exécution : elle ne prouve pas la vérité des informations générées.
Le coût reste élevé. Anthropic annonce un temps de calcul GPU environ 70 à 95 fois supérieur à l’inférence de référence pour son essai sur Llama 4 Maverick quantifié. Ces mesures sont celles de l’équipe, sans validation indépendante établie.
Le code et les documents sont sous licence Apache 2.0. La documentation précise que les programmes n’ont pas subi d’audit de sécurité indépendant ; les garanties formelles du vérificateur Lean ne s’étendent pas automatiquement au vérificateur rapide en C++. Il s’agit d’un résultat de recherche intermédiaire.