O fundador da TRON, Justin Sun, anunciou a criação do Prêmio Justin Sun, uma premiação voltada à matemática destinada a provadores que resolvem grandes problemas e a formalizadores que convertem provas em código verificável por máquina. O prêmio não tem limites de idade nem cotas anuais. Os pagamentos exigem verificação completa por máquina, da primeira à última linha, enquanto o fundo do prêmio fica bloqueado em um endereço blockchain que permite apenas adições e não saques. Problemas podem ser adicionados, mas não excluídos; se o enunciado de um problema estiver incorreto, a recompensa ainda será paga conforme acordado e o problema será listado novamente. Sun afirmou que não participará de avaliações específicas e apenas determinará a lista de problemas e os valores das recompensas, com o objetivo de construir um mecanismo de longo prazo que conecte a matemática teórica pura a incentivos públicos on-chain na era da IA e da verificação formal.