El Justin Sun Prize está convirtiendo las matemáticas en un tablero de recompensas onchain.
66 problemas. Dos roles:
Prover — resolverlo
Formalizer — hacerlo verificable por una máquina
Una vez que la prueba pasa la verificación por máquina, se puede pagar la recompensa.
Cripto + IA + Matemáticas = un nuevo mercado para el conocimiento verificable.

hejustinsun.com/prize

@TRON DAO @Justin Sun孙宇晨 #Tron