🏆 Le prix Justin Sun ouvre de nouvelles perspectives aux développeurs de logiciels et aux chercheurs !

Résoudre des problèmes est une étape importante, mais prouver la validité de la solution l’est tout autant. Dans cette optique, le programme The Justin Sun Prize met en lumière deux rôles essentiels dans le domaine de la programmation et de la vérification mathématique, grâce à un mécanisme de récompenses qui combine innovation et précision.

🔍 Comment les récompenses sont-elles réparties ?

Le programme repose sur la répartition du prix entre deux tâches principales :

🔹 70% pour le résolveur de problèmes (Problem Solver) :
Attribués à ceux qui parviennent à trouver une solution au problème proposé, que ce soit une personne ou une équipe, en reconnaissance des efforts consacrés au développement de la solution et à l’obtention du résultat attendu.

🔹 30% pour le formaliseur (Lean Formalizer) :
Attribués à ceux qui transforment la solution en une forme mathématique formelle à l’aide du langage Lean, un outil spécialisé qui aide à vérifier avec exactitude la validité des preuves mathématiques, de manière précise et vérifiable.

💡 Le plus intéressant ?

Si la même personne ou la même équipe parvient à accomplir les deux tâches, elle peut alors obtenir 100 % de la valeur du prix, conformément aux conditions et aux règles établies par le programme.

🔗 Pour consulter les détails et les conditions :
hejustinsun.com/prize/rules

#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨