Le fondateur de TRON, Justin Sun, a annoncé la création du Justin Sun Prize, une récompense axée sur les mathématiques destinée aux démonstrateurs qui résolvent de grands problèmes et aux formalisateurs qui convertissent les preuves en code vérifiable par machine. Le prix ne comporte ni limite d’âge ni quota annuel. Les versements exigent une vérification machine complète, de la première à la dernière ligne, tandis que la dotation est verrouillée à une adresse blockchain qui n’autorise que les ajouts et aucun retrait. Des problèmes peuvent être ajoutés, mais pas supprimés ; si l’énoncé d’un problème est incorrect, la prime sera tout de même versée comme convenu et le problème sera de nouveau inscrit. Sun a déclaré qu’il ne participerait pas aux évaluations spécifiques et qu’il se contenterait de déterminer la liste des problèmes et les montants des primes, dans le but de construire un mécanisme à long terme reliant les mathématiques théoriques pures à des incitations publiques on-chain à l’ère de l’IA et de la vérification formelle.