Presentamos el #JustinSunPrize , un nuevo programa de recompensas académicas que premia avances en matemáticas.
Los colaboradores pueden resolver problemas elegibles, formalizar sus resultados en Lean y presentar pruebas verificables por máquinas a través del repositorio open-source de GitHub del Premio.
Con cinco niveles de premios y un premio máximo de $1 millón, el programa está abierto a colaboradores elegibles de todo el mundo.
Resuelve. Verifica. Reclama.
Más información:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
Los colaboradores pueden resolver problemas elegibles, formalizar sus resultados en Lean y presentar pruebas verificables por máquinas a través del repositorio open-source de GitHub del Premio.
Con cinco niveles de premios y un premio máximo de $1 millón, el programa está abierto a colaboradores elegibles de todo el mundo.
Resuelve. Verifica. Reclama.
Más información:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
