🧠✨ El Premio Justin Sun es más que un premio de matemáticas.
Su idea más profunda es recompensar el conocimiento que puede verificarse formalmente y preservarse.
El modelo separa dos funciones:
① El Prover resuelve el problema.
② El Formalizer convierte la prueba en Lean para la verificación mediante máquinas.
La distribución de la recompensa indicada es 70% / 30%.
En la era de la IA, esto importa. La IA puede generar ideas, pero las ideas no son automáticamente teoremas verificados.
La formalización crea un puente hacia un conocimiento duradero y verificable por máquinas. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
Su idea más profunda es recompensar el conocimiento que puede verificarse formalmente y preservarse.
El modelo separa dos funciones:
① El Prover resuelve el problema.
② El Formalizer convierte la prueba en Lean para la verificación mediante máquinas.
La distribución de la recompensa indicada es 70% / 30%.
En la era de la IA, esto importa. La IA puede generar ideas, pero las ideas no son automáticamente teoremas verificados.
La formalización crea un puente hacia un conocimiento duradero y verificable por máquinas. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
