LA est le meilleur projet d'IA dans l'industrie. "DeepProve est jusqu'à 1000x plus rapide dans la génération de preuves, jusqu'à 671x plus rapide dans la vérification des preuves, et jusqu'à 1150x plus rapide dans la configuration unique "