Cuando resuelves un difícil problema de matemáticas, ...
¿Te dan premios desde JustinSun 🤨？
Este mes, el fundador de TRON, el señor Justin Sun, está
Anunció el “Justin Sun Prize”.
La palabra clave es “Proved, then paid.”
Demuestra y recibe la recompensa.
Pero, ¿por qué estás en el mundo de los criptoactivos
¿JustinSun creó un premio de matemáticas?
Veamos el mecanismo junto con eso👇
1. ¿Por qué un premio de matemáticas?
El señor Justin Sun es
“Mi fuente de riqueza está en las matemáticas”
Y explica lo siguiente.
La tecnología criptográfica que sustenta la seguridad de la blockchain nació de los largos años de investigación de los matemáticos.
La idea de la persona es devolver a las matemáticas la riqueza construida gracias a ese beneficio.
Además, ahora estamos en una era en la que también la IA participa en la demostración de matemáticas. Cómo verificar los descubrimientos y cómo evaluar las contribuciones de humanos y de IA también son temas importantes de este premio.
2. ¿En qué se diferencian los 1.022 problemas y “los primeros 66”?
En el GitHub oficial hay publicados 1.022 problemas matemáticos. En los primeros 66 problemas también se han preparado registros detallados sobre las demostraciones y los contribuyentes.
Lo que conviene tener en cuenta aquí es que los 1.022 problemas no son todos “problemas que todavía nadie ha resuelto”.
Hay problemas cuya demostración ya ha sido probada matemáticamente, pero que aún no han sido formalizados sobre Lean. Es decir, no solo hay oportunidad para quienes descubren nuevas soluciones, sino también para quienes convierten las demostraciones existentes en una forma que se puede verificar con una máquina.
3. ¿Quién recibe la recompensa?
Cada problema tiene 2 roles.
✏️ Prover: la persona que completa una demostración matemática
💻 Formalizer: la persona que formaliza las demostraciones en Lean
En principio, el premio es 70% para Prover y 30% para Formalizer. Si la misma persona o equipo se encarga de ambos, el diseño es que reciba el 100%.
El hecho de que hayan otorgado recompensa no solo por el descubrimiento de una demostración, sino también por el trabajo de convertir demostraciones largas en formas verificables una por una, es único, ¿no?👀
4. Proceso hasta el premio
Aquí es importante el “then” de “Proved, then paid”.
Presentar la evidencia, como las demostraciones, mediante PR en GitHub
↓
Revisión del contenido matemático y la formalización mediante Lean
↓
Crear el issue de la solicitud del premio y confirmar la persona y el contenido de la contribución
↓
Se publicará como candidato durante 14 días y se aceptarán objeciones
↓
Confirmar a los ganadores por escrito, anuncio formal y pago
Además de poder comprobarse con una máquina, también se verifica si “la demostración original realmente prueba el problema” y “de quién es el resultado”. Se puede participar con resultados usando IA, pero no es que solo con el nombre de la IA o la dirección de la billetera se pueda reclamar el premio.
5. ¿Qué relación tiene con TRON?
El premio se pagará en TRC-20 USDT sobre TRON o en ERC-20 USDC sobre Ethereum. Usar la blockchain para el pago del premio es una parte muy al estilo del Sr. Sun.
Pero este premio es una iniciativa en la que el propio Sr. Sun aporta los fondos. Creo que pensar que con solo crear el premio aumentará mucho la demanda de TRX es demasiado pronto.
Lo que me preocupa es en qué tipo de demostraciones y formalizaciones se reconocen realmente, y cómo el pago a los ganadores va acumulándose.
Un desafío para devolver el favor a las matemáticas, un nuevo sistema de evaluación en la era de la IA, y también dejar el nombre de Justin Sun. Quiero seguir viendo en qué se convertirá el “Justin Sun Prize” 🔥
Sitio web oficial: https://hejustinsun.com/prize
Lista de problemas: https://github.com/TheJustinSunPrize/awards
#TRONGlobalFriends #TGF #TRON
@Justin Sun孙宇晨 @TRON DAO
