Justin Sun Prize: cómo funciona un premio de matemáticas con pagos on-chain en USDT sobre TRON

El Justin Sun Prize es un premio en el que la decisión de pago no la toma un jurado, sino un programa de verificación. El fundador de TRON, Justin Sun, anunció una iniciativa en la que el fondo del premio se ha trasladado on-chain de antemano, la dirección de la wallet se ha publicado para que cualquiera pueda comprobar el saldo, y la recompensa llega al destinatario una vez que una máquina ha comprobado la demostración «de la primera línea a la última». Los pagos se realizan mediante USDT TRC-20 en TRON o USDC en Ethereum, el criterio de aceptación es la verificación formal por máquina (en los casos descritos, la formalización se hizo en Lean), y lo más inusual del diseño son precisamente los pagos on-chain: según los organizadores, los fondos no se pueden retirar y un problema no se puede eliminar del registro. Veamos cómo funciona esto técnicamente y qué preguntas deja abiertas el esquema.

Qué se anunció y cuándo

La oficina de Justin Sun anunció el premio el 16 de septiembre de 2026 en Ginebra, describiéndolo como un mecanismo descentralizado de recompensas académicas construido en torno a una «lista de problemas» con verificación formal por máquina y un premio máximo de hasta 1 millón de dólares por problema. La lista de problemas, los estándares de confirmación y los materiales de verificación se publican en GitHub, los registros de pago quedan anotados on-chain y el destinatario elige la red: USDT en TRON (TRC-20) o USDC en Ethereum (ERC-20).

La primera lista incluye 66 problemas clásicos de matemáticas, bajo el lema «66 problems. One limit.». Entre las entradas del registro están la verificación formal de la conjetura de Poincaré, la hipótesis de Riemann, la conjetura de Goldbach y toda una serie de problemas de Paul Erdős. Según NewsBTC, el premio máximo de 1 millón de dólares fue para un equipo de investigación de OpenAI por el problema de existencia y suavidad de las ecuaciones tridimensionales de Navier–Stokes, con la formalización en Lean producida por GPT-6 Astra. Los materiales del premio están alojados en la página del proyecto. La inscripción de la medalla dice «Quod probatur, solvitur»: «Lo que se demuestra, se paga».

El propio Sun describe su papel con modestia: «No soy matemático. Solo soy un observador y un benefactor. El resto lo dejo a las demostraciones». Según los informes publicados, sus facultades se limitan a elaborar la lista de problemas y fijar los importes de las recompensas: una vez que un problema se añade al registro, no puede eliminarse, y los fondos no pueden recuperarse.

La mecánica: demostrador, formalizador y el estado «pendiente de formalización»

El premio se diferencia de forma fundamental de los premios científicos clásicos: no hay límites de edad, nominaciones ni ceremonias anuales. En su lugar, hay dos roles de destinatario de la recompensa.

Rol	Qué hace	Quién puede desempeñarlo
demostrador (prover)	encuentra la demostración	una persona, una IA o una combinación de ambas
formalizador	traduce la demostración a un formato verificable por máquina	una persona, una IA o una combinación de ambas

Ambos roles pueden ser desempeñados por un único participante o por personas y sistemas distintos. No se han declarado barreras por nacionalidad o afiliación institucional, y no se hace distinción entre humanos e IA.

Se detalla aparte un escenario intermedio: si la comunidad acepta una demostración pero aún no se ha formalizado, el problema recibe el estado «demostrado, pendiente de formalización» y los fondos permanecen bloqueados. Es decir, el reconocimiento público por sí solo no desencadena un pago; solo lo hace la verificación por máquina.

Por qué verificación por máquina y no revisión de expertos

El papel de «árbitro» en este esquema recae en un demostrador formal no porque esté de moda, sino por las propiedades de la herramienta. Lean 4 es un demostrador y lenguaje de programación de código abierto que se ha usado para construir y comprobar demostraciones a gran escala; su extensa biblioteca matemática lo hace cómodo tanto para razonar sobre matemáticas como para analizar contratos DeFi con cálculos complejos. Según los informes, fue en Lean donde se formalizó la demostración premiada.

La segunda razón es el fuerte aumento del número de demostraciones encontradas con ayuda de la IA. Cuando el autor de una solución es un modelo, la garantía de corrección pasa a ser una formalización verificada por máquina y no un texto coherente en lenguaje natural. La escala del problema se ilustra con las estadísticas sobre los problemas de Erdős: según DeepMind, de 200 soluciones candidatas etiquetadas como correctas o incorrectas, solo el 6,5 % resultó ser «sustancialmente correcto». Para un premio con pagos automáticos este es el argumento clave: sin una demostración verificada por máquina y libre de sorry, cualquier revisión se convierte en un debate interminable entre expertos, y en una discusión sobre a quién hay que pagar.

La otra cara es lo alcanzables que son los criterios. En esas mismas pruebas, un agente comercial de Lean no logró formalizar dos artículos tras docenas de horas de trabajo, mientras que un arnés especializado cubrió los siete teoremas objetivo sin ningún sorry. En otras palabras, el listón de la formalización es alto, y algunos problemas pueden permanecer mucho tiempo en estado de «pendiente de formalización».

Pagos on-chain en USDT TRC-20: cómo funciona

Técnicamente, pagar un premio en USDT sobre TRON no es «una simple transferencia», sino una llamada al contrato inteligente del token. USDT en la red TRON se emite bajo el estándar TRC-20, que garantiza la compatibilidad con protocolos y dApps en TRON; la dirección del contrato es TR7NHqjeKQxGTCi8q8ZY4pL8otSzgjLj6t. Todos los tokens TRC usan al menos 6 decimales (TRX, USDT y USDC usan 6; USDD usa 18), lo cual importa al conciliar importes en un explorador.

Algunos parámetros prácticos de la red que condicionan el diseño de cualquier esquema de premios:

• El tiempo de bloque es de unos 3 segundos, con el consenso mantenido por 27 Super Representatives. Un pago queda registrado casi de inmediato tras enviar la transacción.
• La Energy es obligatoria. Cada cuenta activada recibe 600 de Bandwidth gratuito al día, pero no hay Energy gratuita para llamadas a contratos: una transferencia de USDT requiere Energy o la quema de TRX.
• fee_limit. El precio actual de una unidad de Energy es de 100 sun (0,0001 TRX), con 1 TRX = 10⁶ sun; el valor máximo de fee_limit en mainnet es de 15 000 TRX.
• Direcciones nuevas. Activar una cuenta nueva cuesta un fijo de 1 TRX además del coste habitual de Bandwidth, y si el Bandwidth es insuficiente, se queman 0,1 TRX adicionales.

Conviene separar aquí el marketing de la tecnología: las páginas promocionales de TRON hablan de transferencias de USDT «sin comisiones», en el sentido de que no hay un cargo porcentual por la transferencia, mientras que la documentación técnica describe un modelo de recursos: las llamadas a contratos consumen Energy y Bandwidth. Formalmente no es un error de la documentación, sino dos niveles de descripción del mismo proceso. Para un destinatario del premio se reduce a una regla simple: conviene mantener un poco de TRX en la dirección donde llegará el USDT (o tener acceso a un mecanismo de pago de recursos); de lo contrario, no podrás mover los fondos.

Una wallet pública en lugar de promesas

La parte sustancial principal del enfoque «on-chain» no es la velocidad, sino la verificabilidad. El fondo del premio se trasladó on-chain de antemano, la dirección se ha hecho pública y cualquiera puede comprobar el saldo. Eso convierte una afirmación sobre el fondo de una nota de prensa en un hecho observable, y convierte la irreversibilidad declarada de los pagos y la imposibilidad de eliminar un problema del registro en una limitación de las propias facultades del fundador.

No es la primera recompensa on-chain por demostraciones

La idea de pagar por teoremas directamente desde una blockchain existía antes. En el proyecto Proofgold, los usuarios publican recompensas sobre conjeturas: a principios de 2025, se habían publicado más de 13 000 recompensas, de las cuales casi 3000 fueron reclamadas, ya fuera por demostrar una conjetura o por refutarla. El mismo proyecto usa un esquema de commit-and-reveal para proteger la autoría, por lo que publicar un documento on-chain tarda aproximadamente un día, con bloques que llegan más o menos una vez por hora.

La comparación es reveladora: TRON, con bloques de unos 3 segundos, registra un pago casi al instante, pero la cuestión de proteger la autoría hasta que se revele la demostración no se resuelve con las propiedades de la red, sino con las reglas del premio y la publicación de materiales en GitHub.

Riesgos y qué deben comprobar los usuarios

Cualquier «premio en USDT» de alto perfil es un cebo evidente para los estafadores, y eso no es una hipótesis sino un escenario estándar. La documentación de TRON aconseja específicamente verificar la dirección del contrato de un token en TRONSCAN y advierte sobre tokens imitadores con nombres parecidos, como TRX2 o USDT-V2, que casi siempre son estafas. Los airdrops no solicitados a una dirección suelen servir de cebo, y los sitios que ofrecen «verificar tu wallet» con una firma a menudo piden un approve para gasto ilimitado de TRC-20.

Lo que conviene comprobar en el fondo:

1. La fuente primaria del anuncio: los canales oficiales de Justin Sun y de TRON DAO, no resúmenes de segunda mano.
2. La dirección del fondo y las transacciones de pago en TRONSCAN, incluido si el importe coincide con el anunciado.
3. La dirección del contrato de USDT TRC-20: un token con el ticker «correcto» pero otro contrato no tiene nada que ver con Tether.
4. El enunciado del problema y los criterios de aceptación en el repositorio: qué demostrador y qué biblioteca se consideran aceptables, la prohibición de sorry y el procedimiento para establecer la autoría.
5. Quién actúa como árbitro en casos disputados y en qué jurisdicción tiene su sede el fondo.

Conclusión

El Justin Sun Prize resulta interesante no por el tamaño de su fondo, sino por el cambio de procedimiento: en lugar de un comité que lee un texto y vota, hay un verificador que comprueba una formalización y una blockchain que ejecuta el pago. Los roles de demostrador y formalizador reconocen una realidad en la que una demostración puede encontrarla una IA, mientras que la irreversibilidad declarada del registro limita al propio fundador. Al mismo tiempo, el esquema hereda todas las limitaciones que lo acompañan: un listón de formalización alto, la dependencia de lo bien enunciados que estén los problemas y la vulnerabilidad de una marca de alto perfil al phishing. La verificabilidad corta en ambos sentidos: conviene confirmar los hechos a través del explorador y de las fuentes primarias, y no de los titulares.

Este material es solo informativo y no constituye asesoramiento de inversión.