Un changement de donne pour le monde des maths : le « Justin Sun Prize » est lancé ! 🧮✨
« Prouvé, puis payé. »
Aucune caution académique ni limite d’âge. La collaboration avec l’IA est la bienvenue, et les récompenses sont versées immédiatement après vérification par la machine.
💡 Points forts :
1️⃣ Répartition des récompenses 70:30 (Preuveur : Formalisateur)
2️⃣ Transparence on-chain via TRON
3️⃣ 66 problèmes en direct à l’heure actuelle (sur ~1 022)
Pourquoi c’est important 🧵👇
Historiquement, formaliser des preuves (par exemple dans Lean) a été crucial, mais c’était un travail souvent effectué en coulisses sans compensation. En garantissant une récompense de 30 % pour les Formalisateurs, ce prix attribue une vraie valeur économique à ces héros méconnus.
C’est un mécanisme brillant qui utilise des incitations Web3 pour accélérer la communauté des mathématiques et la recherche académique !
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
« Prouvé, puis payé. »
Aucune caution académique ni limite d’âge. La collaboration avec l’IA est la bienvenue, et les récompenses sont versées immédiatement après vérification par la machine.
💡 Points forts :
1️⃣ Répartition des récompenses 70:30 (Preuveur : Formalisateur)
2️⃣ Transparence on-chain via TRON
3️⃣ 66 problèmes en direct à l’heure actuelle (sur ~1 022)
Pourquoi c’est important 🧵👇
Historiquement, formaliser des preuves (par exemple dans Lean) a été crucial, mais c’était un travail souvent effectué en coulisses sans compensation. En garantissant une récompense de 30 % pour les Formalisateurs, ce prix attribue une vraie valeur économique à ces héros méconnus.
C’est un mécanisme brillant qui utilise des incitations Web3 pour accélérer la communauté des mathématiques et la recherche académique !
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
