Le fondateur de TRON, Sun Yuchen, a annoncé la création du prix Sun Yuchen, en déclarant qu’il se concentrera uniquement sur les mathématiques. D’après ChainCatcher, le prix est lié à des problèmes plutôt qu’à des individus et il n’y a ni réunion annuelle, ni processus de nomination, ni limite d’âge.

Sun a déclaré que chaque problème comportera deux colonnes créditées : une pour la personne qui le prouve et une pour celle qui formalise la preuve et la saisit dans une forme lisible par machine. Les deux rôles peuvent être occupés par la même personne, ou par une personne, une IA, ou une personne utilisant une IA. Le prix n’est déclenché que lorsqu’une machine vérifie la preuve, ligne par ligne, de la première à la dernière ligne, sans erreurs.

Il a aussi déclaré que si une preuve a déjà été acceptée par la communauté des mathématiques avant la vérification par machine, elle peut être créditée par avance tandis que le prix reste inchangé, avec le statut indiqué comme « proved, pending formalization ». Pour la récompense côté preuve, seuls les problèmes résolus après leur publication seront admissibles. Si un problème avait déjà été résolu au moment où il a été publié, le proposant sera quand même crédité, mais le prix ira uniquement à la personne qui termine la formalisation.

Sun a déclaré que la liste des problèmes et la tarification seront décidées par lui via signature, et qu’une fois publiés, les prix ne peuvent être augmentés que, pas réduits. Il a ajouté que les erreurs dans les problèmes publiés seront quand même indemnisées puis reproposées, tandis qu’il ne participera pas au vote concernant la vérification, les paiements ou l’allocation de crédits au-delà de la tarification.

Sun a déclaré que le premier prix a déjà été déposé on-chain, avec l’adresse et le solde rendus publics, et qu’il ne conserve que le droit d’ajouter davantage de financement. Il a également indiqué que les preuves gagnantes et la distribution des prix seront aussi publiées on-chain, et que le prix est nommé d’après une personne afin d’éviter les renommages causés par des changements institutionnels.