Justin Sun met des preuves mathématiques sur la chaîne 🍌👀 Claude a passé 11 jours à transformer le dernier théorème de Fermat en une preuve vérifiable par machine. Maintenant, Justin Sun veut commencer à payer des gens (ou une IA, bref haha) pour faire davantage de ce genre de chose… 🏆 Le fondateur de TRON, $TRX , a lancé le Justin Sun Prize, un nouveau système de récompenses en mathématiques construit autour d’une condition : une preuve ne vaut que si une machine peut la vérifier, du début à la fin. Chaque problème peut récompenser 2 rôles : 🙋 la personne qui le résout 🙋 la personne qui formalise la preuve pour que des logiciels puissent la vérifier Ces rôles peuvent être la même personne, des personnes différentes — ou encore un travail assisté par l’IA. Les soumissions utilisent la vérification formelle Lean, tandis que la cagnotte et les paiements sont conçus pour être enregistrés publiquement on-chain. Sun choisit quels problèmes entrent dans le système et la valeur de chacun, mais dit qu’il ne décidera pas si une preuve passe la vérification. C’est une direction assez inhabituelle pour de la philanthropie crypto, mais il y a une belle symétrie : la blockchain dépend elle-même fortement des mathématiques, et une partie de cette richesse crypto $BTC est maintenant redirigée vers les personnes qui font avancer la logique sous-jacente. Et comme l’IA devient de plus en plus performante en mathématiques formelles, « qui l’a résolu ? » pourrait bientôt devenir une question assez complexe. Publication originale : https://x.com/justinsuntron/status/2100132601424232711 #BTC Price Analysis# #Macro Insights# #TRON