En estos días, muchos deberían haber visto el viral The Justin Sun Prize, con un premio máximo de 1 millón de dólares, ¿verdad? Según varios medios.
En esta publicación, explicaré cómo cazar el premio The Justin Sun Prize
basándome en la resolución de problemas de matemáticas.
@Justin Sun孙宇晨 fundó un fondo de premios de matemáticas; lo abrió para que cualquiera en el mundo pueda participar y buscarlo. No hay límite de nacionalidad, no se requiere ningún título, no hace falta estar afiliado a ninguna universidad, y no se distingue entre personas humanas o IA: solo que lo que hagas sea real y comprobable.
Pero este juego no es como los concursos de matemáticas habituales, porque con solo “resolver el problema” no alcanza. También hay que convertir la demostración al lenguaje Lean 4, para que el verificador del sistema lo compruebe y lo acepte; si no, no cuenta.
Fui a revisar todo el repositorio oficial de principio a fin y resumí el método de caza de manera completa.
¡Qué buena cosa, amigo! 🔥
#TRON #TGF #TronGlobalFriends
En esta publicación, explicaré cómo cazar el premio The Justin Sun Prize
basándome en la resolución de problemas de matemáticas.
@Justin Sun孙宇晨 fundó un fondo de premios de matemáticas; lo abrió para que cualquiera en el mundo pueda participar y buscarlo. No hay límite de nacionalidad, no se requiere ningún título, no hace falta estar afiliado a ninguna universidad, y no se distingue entre personas humanas o IA: solo que lo que hagas sea real y comprobable.
Pero este juego no es como los concursos de matemáticas habituales, porque con solo “resolver el problema” no alcanza. También hay que convertir la demostración al lenguaje Lean 4, para que el verificador del sistema lo compruebe y lo acepte; si no, no cuenta.
Fui a revisar todo el repositorio oficial de principio a fin y resumí el método de caza de manera completa.
¡Qué buena cosa, amigo! 🔥
#TRON #TGF #TronGlobalFriends
