O fundador da TRON, Sun Yuchen, anunciou a criação do Prêmio Sun Yuchen, afirmando que ele se concentrará apenas em matemática. De acordo com o ChainCatcher, o prêmio está vinculado a problemas em vez de indivíduos e não tem reunião anual, processo de indicação ou limite de idade.

Sun disse que cada problema terá duas colunas com crédito: uma para a pessoa que o prova e outra para a pessoa que formaliza a prova e a escreve em um formato legível por máquina. As duas funções podem ser preenchidas pela mesma pessoa, ou por uma pessoa, uma IA, ou uma pessoa usando IA. O prêmio é acionado apenas quando uma máquina verifica a prova linha por linha, da primeira até a última linha, sem erros.

Ele também disse que, se uma prova já tiver sido aceita pela comunidade de matemática antes da verificação por máquina, ela poderá receber crédito antecipadamente enquanto o prêmio permanecer inalterado, com o status listado como "proved, pending formalization." Para o prêmio do lado da prova, apenas problemas resolvidos depois de publicados se qualificarão. Se um problema já tiver sido resolvido no momento em que for publicado, o proponente ainda receberá crédito, mas o prêmio irá apenas para a pessoa que concluir a formalização.

Sun disse que a lista de problemas e os preços serão decididos por ele por meio de assinatura, e que, uma vez publicados, os preços só poderão ser aumentados, não reduzidos. Ele acrescentou que erros nos problemas publicados ainda serão pagos e depois republicados, enquanto ele não participará de votação sobre verificação, pagamentos ou alocação de créditos além de definir os preços.

Sun disse que o primeiro prêmio já foi depositado on-chain, com o endereço e o saldo divulgados, e que ele retém apenas o direito de adicionar mais financiamento. Ele disse que as provas vencedoras e as distribuições de prêmios também serão公开 on-chain, e que o prêmio foi nomeado em homenagem a uma pessoa para evitar renomeações causadas por mudanças institucionais.