Le prix Justin Sun transforme les mathématiques en tableau de primes sur chaîne.
66 problèmes. Deux rôles :
Vérificateur — le résoudre
Formaliseur — le rendre vérifiable par machine
Une fois la preuve validée par la vérification automatique, la récompense peut être versée.
Crypto + IA + Math = un nouveau marché pour les connaissances vérifiables.
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
66 problèmes. Deux rôles :
Vérificateur — le résoudre
Formaliseur — le rendre vérifiable par machine
Une fois la preuve validée par la vérification automatique, la récompense peut être versée.
Crypto + IA + Math = un nouveau marché pour les connaissances vérifiables.
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
