Justin Sun está construyendo un nuevo sistema de recompensas para las matemáticas.
La idea va más allá de recompensar a las personas que resuelven problemas. Recompensa convertir las demostraciones matemáticas en algo que las máquinas puedan verificar.
Hay dos roles: Los Provers crean la demostración, mientras que los Formalizadores la traducen a una forma verificable por máquina. Una recompensa solo se desbloquea una vez que la demostración formalizada supera la verificación por máquina.
Lo que lo hace interesante es la idea más grande: Matemáticas + IA + Verificación Formal + Blockchain.
En lugar de limitarse a decir “los humanos lo demostraron”, el objetivo se vuelve: “las máquinas pueden verificarlo”.
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG