El fundador de TRON, Justin Sun, anunció un premio de matemáticas que pagará recompensas basadas en blockchain por demostraciones verificadas por máquinas. El premio no tendrá límites de edad, categorías ni ceremonias anuales, según Sun.
Sun afirmó que el fondo inicial de premios ya está en cadena y no puede retirarse después de que los problemas entren en el registro.
El fundador de TRON, Justin Sun, anunció el Premio Justin Sun, un galardón de matemáticas que recompensará a los autores de demostraciones y a los especialistas que las preparen para su verificación por máquinas. La iniciativa está diseñada para hacer públicos y automatizados la verificación y los pagos, con los fondos bloqueados hasta que una demostración haya sido formalizada por completo.
Cómo funcionará el premio
Sun afirmó que el premio diferirá de los galardones matemáticos tradicionales porque no tendrá límites de edad, categorías ni ceremonias anuales.
Cada problema puede tener dos destinatarios: un «demostrador» que redacta la demostración matemática y un «formalizador» que la convierte en un formato verificable por máquinas. Una persona puede desempeñar ambas funciones, o participantes distintos pueden completarlas.
Sun afirmó que no importaría si un resultado fue producido por un humano, inteligencia artificial o una combinación de ambos. La recompensa se pagará únicamente después de que una máquina verifique la demostración línea por línea, de principio a fin y sin errores.
Si la comunidad matemática ha aceptado una demostración pero esta no ha sido formalizada, la entrada será designada como «demostrada, pendiente de formalización». Los fondos correspondientes permanecerán bloqueados hasta que la formalización esté completa.
Posteriormente, el premio anunció sus primeros 66 problemas de matemáticas clásicas bajo el lema «66 problemas. Una frontera».
Registro público y financiación
Sun afirmó que su autoridad se limitará a compilar la lista de problemas y establecer las recompensas. Una vez que un problema entre en el registro, no podrá eliminarse y los fondos depositados no podrán retirarse.
«No soy matemático. Soy simplemente un observador y un benefactor. El resto se deja a las demostraciones», afirmó Sun.
Según Sun, el fondo inicial de premios ya fue trasladado a la cadena. Afirmó que su dirección es pública y que el saldo puede verificarse de forma independiente.
El usuario de X Chau Le describió la iniciativa como una intersección entre matemáticas, blockchain, IA y verificación formal. Le afirmó que su mecanismo reflejaba el principio blockchain de verificar los resultados de forma independiente en lugar de confiar en un intermediario.
Otro usuario de X, Kaisen, afirmó que el premio recompensa por separado la producción de una demostración y su conversión a un formato verificable por máquinas, en lugar de recompensar la reputación o el estatus. Kaisen también afirmó que un registro público de problemas, demostraciones y pagos en cadena podría proporcionar un historial a largo plazo de resultados matemáticos.
Sun afirmó que creó el premio porque gran parte de su riqueza procede de los principios matemáticos que sustentan la criptografía y blockchain. También afirmó que los avances en IA estaban iniciando una nueva era para las matemáticas al acelerar el descubrimiento y la formalización de demostraciones.
Otras actividades de Sun
Sun previamente se convirtió en primer ministro de la autoproclamada Liberland, que afirma apoyar las tecnologías blockchain. En 2025, participó en la misión espacial NS-34 de Blue Origin después de pagar 28 millones de dólares por el vuelo.
Fuente: HODL Press
