El fundador de TRON, Justin Sun, anunció la creación del Premio Justin Sun, un galardón centrado en las matemáticas dirigido a demostradores que resuelvan grandes problemas y a formalizadores que conviertan demostraciones en código verificable por máquina. El premio no tiene límites de edad ni cupos anuales. Los pagos requieren una verificación completa por máquina desde la primera línea hasta la última, mientras que el fondo del premio está bloqueado en una dirección de blockchain que permite únicamente aportaciones y no retiros. Los problemas pueden añadirse, pero no eliminarse; si el enunciado de un problema es incorrecto, la recompensa se pagará igualmente según lo acordado y el problema se volverá a publicar. Sun afirmó que no participará en evaluaciones específicas y que solo determinará la lista de problemas y los importes de las recompensas, con el objetivo de construir un mecanismo a largo plazo que vincule las matemáticas teóricas puras con incentivos públicos en cadena en la era de la IA y la verificación formal.