🤖🔐 NEAR intègre la vérification par IA à son protocole

Son agent a résolu 672 problèmes mathématiques avec Lean pour 111,85 $US de coûts de modèle.

Ce montant n’inclut pas le développement complet du système et ne représente pas le coût de l’audit des contrats.

L’application à un logiciel de production reste à venir.
$NEAR