Le fonds de prix du Justin Sun Prize est désormais placé on-chain. Sur une adresse publique du réseau TRON, 10 millions de dollars sont réservés au prix mathématique de Justin Sun. Le solde et les mouvements des fonds peuvent être vérifiés via le blockchain explorer TRONSCAN.
L’initiative rassemble les mathématiques fondamentales, l’intelligence artificielle et la blockchain. Des récompenses sont prévues non seulement pour résoudre des problèmes mathématiques complexes, mais aussi pour créer des preuves dont la validité pourra être vérifiée par un ordinateur.
$10 millions sur une adresse publique TRON
La principale mise à jour du projet : passer de l’annonce du fonds de prix à sa mise en dépôt sur une blockchain.
Adresse du fonds : TBgGFBnqZuDeGkf4nyiaEo7mj3NodxYJBL
Le dépôt public des fonds permet de suivre indépendamment le solde et les opérations à l’adresse. C’est une différence importante par rapport à une simple annonce de prix monétaire, où les participants doivent se fier uniquement aux déclarations des organisateurs.
Par ailleurs, la transparence du fonds et la procédure d’attribution des prix sont des questions différentes. Le simple fait que des fonds existent à une adresse ne signifie pas automatiquement un versement à chaque personne qui présentera une solution. Les récompenses sont réparties par l’opérateur des prix conformément à ses règles.
Quels prix sont prévus ?
Justin Sun Prize vise à résoudre des problèmes mathématiques et à vérifier formellement les preuves. Le projet prévoit deux rôles clés.
Prouver - auteur de la preuve. Le participant trouve une solution à un problème mathématique et en présente la justification correcte.
Formalizer - spécialiste de la formalisation. Son rôle consiste à traduire une preuve mathématique en une forme rigoureuse, compatible avec la vérification par un système informatique spécialisé.
C’est un point crucial : un raisonnement mathématique et sa vérification par machine nécessitent des types de travail différents. Même si la preuve semble convaincante pour un humain, sa formalisation peut s’avérer être un défi distinct et complexe.
Quel rôle joue l’intelligence artificielle ?
Les règles de l’initiative autorisent la participation d’humains, d’IA et d’équipes mixtes. Cela ouvre plusieurs scénarios : un mathématicien peut utiliser l’IA pour trouver une approche au problème, un développeur pour formaliser la preuve, et une équipe de recherche peut combiner l’expertise humaine avec des outils de calcul.
En outre, la génération de réponse par l’IA n’est pas équivalente à une preuve mathématique. C’est précisément pourquoi, dans la conception de Justin Sun Prize, l’accent est mis sur la vérification formelle : elle permet de vérifier le résultat selon des règles strictes, sans se reposer uniquement sur la confiance de l’auteur ou d’un modèle de langage.
Selon la description de l’initiative, la reconnaissance de la paternité du résultat mathématique et l’obtention d’une récompense monétaire sont deux étapes distinctes. Pour le versement, il faut qu’une vérification informatique complète de la preuve soit achevée.
Pourquoi le fonds a-t-il été choisi sur la blockchain ?
La blockchain permet de rendre la partie financière du prix observable pour tous les participants. Toute personne intéressée peut ouvrir TRONSCAN et vérifier l’état de l’adresse publiée sans avoir à demander un rapport aux organisateurs.
Cela ne remplace pas l’expertise mathématique, mais cela ajoute de la transparence à la question du financement. De plus, selon l’annonce du projet, les paiements seront effectués par l’opérateur en deux stablecoins : USDT sur le réseau TRON (TRC-20) et USDC sur le réseau Ethereum (ERC-20).
Ainsi, TRON est utilisé non seulement pour déposer le fonds publiquement, mais aussi comme l’un des réseaux de paiement du prix.
Que signifie cela pour TRON ?
En général, on parle de TRON dans le contexte des traductions de USDT, des paiements, de l’infrastructure boursière et de la DeFi. Justin Sun Prize présente un autre scénario : l’utilisation de la blockchain pour tenir un registre public des fonds destinés à la recherche scientifique.
Ici, il est important de distinguer deux fonctions : les preuves mathématiques sont vérifiées par des outils spécialisés, tandis que la blockchain assure la transparence de la partie financière du projet.
Cela ne veut pas dire que le réseau TRON détermine lui-même la validité des solutions mathématiques ni qu’il attribue automatiquement les récompenses.
Conclusion
À mon avis, la partie la plus intéressante de Justin Sun Prize est la combinaison de deux approches de vérifiabilité.
D’un côté, le projet vise à ce que les preuves mathématiques puissent être vérifiées par machine. De l’autre, $10 millions de fonds de prix sont déposés sur une adresse blockchain publique, où il est possible de suivre les fonds.
Dans le même temps, l’efficacité réelle de l’initiative se mesurera non seulement par la taille du fonds et sa transparence, mais aussi par des résultats concrets : quelles tâches pourront être résolues, combien de preuves passeront la vérification formelle et quelles récompenses seront effectivement versées.
Pour TRON, c’est aussi un exemple d’utilisation du réseau en dehors des simples transferts de USDT, dans l’infrastructure de l’initiative scientifique internationale.