🧠✨ Le Justin Sun Prize est plus qu’une récompense en mathématiques.
Son idée profonde est de récompenser un savoir pouvant être formellement vérifié et préservé.

Le modèle distingue deux rôles :
① Le Prover résout le problème.
② Le Formalizer convertit la preuve en Lean pour la vérification par machine.
La répartition annoncée de la récompense est de 70 % / 30 %.

À l’ère de l’IA, c’est important. L’IA peut générer des idées, mais les idées ne deviennent pas automatiquement des théorèmes vérifiés.
La formalisation crée un pont vers un savoir durable, vérifiable par machine. 🔬🤖

@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON