Un cambio decisivo para el mundo de las matemáticas: ¡se ha lanzado el “Justin Sun Prize”! 🧮✨
“Probado, y luego pagado.”
Sin avales académicos ni límites de edad. Se acepta la colaboración con IA, y las recompensas se pagan de inmediato tras la verificación de la máquina.
💡 Aspectos clave:
1️⃣ Reparto de recompensa 70:30 (Prover : Formalizer)
2️⃣ Transparencia en cadena mediante TRON
3️⃣ 66 problemas en vivo ahora (de ~1,022)
Por qué esto importa 🧵👇
Históricamente, formalizar demostraciones (por ejemplo, en Lean) ha sido crucial, pero el trabajo ha quedado desinteresadamente detrás de escena. Al garantizar un 30% de recompensa para los Formalizers, este premio asigna un valor económico real a estos héroes anónimos.
¡Este es un mecanismo brillante que utiliza incentivos de Web3 para acelerar la comunidad matemática y la investigación académica!
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
“Probado, y luego pagado.”
Sin avales académicos ni límites de edad. Se acepta la colaboración con IA, y las recompensas se pagan de inmediato tras la verificación de la máquina.
💡 Aspectos clave:
1️⃣ Reparto de recompensa 70:30 (Prover : Formalizer)
2️⃣ Transparencia en cadena mediante TRON
3️⃣ 66 problemas en vivo ahora (de ~1,022)
Por qué esto importa 🧵👇
Históricamente, formalizar demostraciones (por ejemplo, en Lean) ha sido crucial, pero el trabajo ha quedado desinteresadamente detrás de escena. Al garantizar un 30% de recompensa para los Formalizers, este premio asigna un valor económico real a estos héroes anónimos.
¡Este es un mecanismo brillante que utiliza incentivos de Web3 para acelerar la comunidad matemática y la investigación académica!
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
