#可验证计算 Hier, j'ai écouté un modèle commercial d'IA qui m'a fait réaliser que le potentiel de valeur des modèles vérifiables comme zkml/zkgpt n'est pas encore complètement exploité, il reste juste des problèmes d'efficacité à résoudre avec le temps. Actuellement, dans le secteur des API d'IA, un fournisseur de services Router coordonne plusieurs modèles ou route automatiquement les modèles en fonction des coûts. C'est en soi un bon service, mais les fournisseurs de services ont souvent tendance à privilégier leurs profits en offrant des services de moindre qualité. Par exemple, si un utilisateur a clairement appelé 10 fois GPT5, le fournisseur de services Router, pour augmenter ses profits, pourrait vous donner 6 fois GPT5 et 4 fois un autre modèle à faible coût. Bien sûr, zkml/zkgpt n'est pas la seule solution à ce type de problème. De plus, Allora, le réseau de coordination de modèles multiples @AlloraNetwork, n'a peut-être pas encore abordé cette question, mais je pense qu'il pourrait envisager d'ajouter ce niveau de service de vérification des calculs. La valeur du calcul vérifiable est encore en chemin.