Les gens supposent que la "vérification de l’IA" consiste à prouver que le modèle est correct. Le vrai enjeu est de prouver que l’exécution s’est réellement déroulée comme l’agent l’affirme. C’est ce que SPEX essaie de formaliser : non pas la sécurité théorique, mais la fidélité à l’exécution. Et c’est l’angle de @wardenprotocol.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Les gens supposent que la "vérification de l’IA" consiste à prouver que le modèle est correct. Le vrai enjeu est de prouver que l’exécution s’est réellement déroulée comme l’agent l’affirme. C’est ce que SPEX essaie de formaliser : non pas la sécurité théorique, mais la fidélité à l’exécution. Et c’est l’angle de @wardenprotocol.