GM ! Les LLM d'aujourd'hui sont conçus pour être confiants. Ils génèrent des paragraphes complets de réponses soignées sans aucun moyen intégré de vérifier chaque partie.
C'est comme faire confiance à un gars vraiment convaincant qui ne montre jamais de reçus.
Au lieu d'essayer d'ajuster le modèle parfait, ils supposent que chaque modèle sera parfois incorrect. Ainsi, ils le rendent vérifiable par conception.
Tout d'abord, ils décomposent les sorties en revendications atomiques.
Supposons qu'un #IA vous donne cette déclaration : « Bitcoin est la cryptomonnaie la plus largement détenue, créée par Satoshi Nakamoto en 2008. »
Mira ne prend pas cela comme une seule déclaration. Elle le divise en affirmations séparées et vérifiables :
→ "Le Bitcoin est la cryptomonnaie la plus largement détenue"
→ "Bitcoin a été créé par Satoshi Nakamoto"
→ "Bitcoin a été créé en 2008"
Chacun d'eux peut être vérifié indépendamment par le réseau. L'un peut être subjectif, comme la façon dont vous définissez le plus largement accepté, un autre est factuel, comme qui l'a créé, et un autre concerne le temps, comme quand il a été fabriqué.
C'est le pouvoir de la binarisation, transformant des résultats flous d'IA en affirmations nettes et vérifiables qui ne dépendent pas de l'humeur du modèle.
Ensuite, ils envoient ces revendications à travers un réseau décentralisé de validateurs, mais aucun nœud ne voit l'entrée complète. C'est la vérification distribuée. Chaque nœud vérifie un fragment, préservant la confidentialité et s'assurant que la confiance n'est pas un goulot d'étranglement.
Alors, comment faites-vous pour que ces validateurs restent honnêtes ? → Faites-les miser.
Chaque nœud a un intérêt en jeu. S'il valide une hallucination, il est pénalisé. C'est la preuve de vérification, transformant l'inférence en un véritable travail économique, pas seulement de la spéculation.
Et enfin vient le consensus réel : chaque modèle doit presque entièrement être d'accord. Pas 51 %.
Mira exige un accord quasi unanime entre les modèles formés indépendamment.
Ainsi, au lieu de faire confiance à un modèle génial avec toutes les réponses, Mira a construit un protocole où plusieurs agents imparfaits effectuent des vérifications économiques et mathématiques les uns sur les autres jusqu'à ce que seule la vérité survive.
C'est une machine de consensus pour que la réalité puisse faire évoluer la confiance.
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.
GM ! Les LLM d'aujourd'hui sont conçus pour être confiants. Ils génèrent des paragraphes complets de réponses soignées sans aucun moyen intégré de vérifier chaque partie.
C'est comme faire confiance à un gars vraiment convaincant qui ne montre jamais de reçus.
Au lieu d'essayer d'ajuster le modèle parfait, ils supposent que chaque modèle sera parfois incorrect. Ainsi, ils le rendent vérifiable par conception.
Tout d'abord, ils décomposent les sorties en revendications atomiques.
Supposons qu'un #IA vous donne cette déclaration : « Bitcoin est la cryptomonnaie la plus largement détenue, créée par Satoshi Nakamoto en 2008. »
Mira ne prend pas cela comme une seule déclaration. Elle le divise en affirmations séparées et vérifiables :
→ "Le Bitcoin est la cryptomonnaie la plus largement détenue"
→ "Bitcoin a été créé par Satoshi Nakamoto"
→ "Bitcoin a été créé en 2008"
Chacun d'eux peut être vérifié indépendamment par le réseau. L'un peut être subjectif, comme la façon dont vous définissez le plus largement accepté, un autre est factuel, comme qui l'a créé, et un autre concerne le temps, comme quand il a été fabriqué.
C'est le pouvoir de la binarisation, transformant des résultats flous d'IA en affirmations nettes et vérifiables qui ne dépendent pas de l'humeur du modèle.
Ensuite, ils envoient ces revendications à travers un réseau décentralisé de validateurs, mais aucun nœud ne voit l'entrée complète.
C'est la vérification distribuée. Chaque nœud vérifie un fragment, préservant la confidentialité et s'assurant que la confiance n'est pas un goulot d'étranglement.
Alors, comment faites-vous pour que ces validateurs restent honnêtes ? → Faites-les miser.
Chaque nœud a un intérêt en jeu. S'il valide une hallucination, il est pénalisé. C'est la preuve de vérification, transformant l'inférence en un véritable travail économique, pas seulement de la spéculation.
Et enfin vient le consensus réel : chaque modèle doit presque entièrement être d'accord. Pas 51 %.
Mira exige un accord quasi unanime entre les modèles formés indépendamment.
Ainsi, au lieu de faire confiance à un modèle génial avec toutes les réponses, Mira a construit un protocole où plusieurs agents imparfaits effectuent des vérifications économiques et mathématiques les uns sur les autres jusqu'à ce que seule la vérité survive.
C'est une machine de consensus pour que la réalité puisse faire évoluer la confiance.