Justin Sun vient de lancer le Justin Sun Prize, une initiative qui combine les mathématiques, l'IA et la vérification formelle. Ce qui me plaît, c’est que ce n’est pas réservé uniquement aux chercheurs universitaires ou des grandes institutions, mais ouvert aussi aux contributeurs indépendants et aux équipes humain-IA. Le principe est assez direct : Résoudre le problème → Élaborer une preuve → Faire vérifier par une machine → Puis évaluation pour la récompense. Un autre aspect intéressant est que le système fonctionne en open source, avec publication des problèmes, preuves et matériaux de vérification pour inspection. Le prix maximal au niveau Pinnacle s’élève à 1 M$ par problème vérifié avec succès. Personnellement, je trouve cette idée intéressante parce qu’elle ne valorise pas seulement « qui l’a fait », mais surtout la vérifiabilité réelle de la preuve. L’IA nous aide de plus en plus à penser, mais la question fondamentale reste : « Comment pouvons-nous vérifier ce que l’IA conçoit ? » Cela pourrait être un autre exemple d’utilisation de la technologie pour créer un système d’incitation visant à promouvoir la recherche fondamentale. Et pour les amateurs de crypto, les récompenses peuvent être versées en USDT sur TRON (TRC-20) ou en USDC sur Ethereum. Justin Sun, sous un autre angle, ne parle donc pas seulement de blockchain ou de crypto, mais utilise également du capital pour soutenir les mathématiques, l’IA et la recherche ouverte. @justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF