Uma virada de jogo para o mundo da matemática: o “Justin Sun Prize” foi lançado! 🧮✨
“Comprovado, depois pago.”
Sem endossos acadêmicos ou limites de idade. A colaboração com IA é bem-vinda, e os prêmios são pagos imediatamente após a verificação da máquina.
💡 Destaques:
1️⃣ Split de Recompensa 70:30 (Prover : Formalizador)
2️⃣ Transparência on-chain via TRON
3️⃣ 66 problemas ao vivo agora (de ~1.022)
Por que isso importa 🧵👇
Historicamente, formalizar provas (por exemplo, no Lean) tem sido crucial, mas um trabalho feito nos bastidores sem remuneração. Ao garantir 30% da recompensa para os Formalizadores, este prêmio atribui um valor econômico real a esses heróis pouco reconhecidos.
Este é um mecanismo brilhante usando incentivos de Web3 para acelerar a comunidade de matemática e a pesquisa acadêmica！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
“Comprovado, depois pago.”
Sem endossos acadêmicos ou limites de idade. A colaboração com IA é bem-vinda, e os prêmios são pagos imediatamente após a verificação da máquina.
💡 Destaques:
1️⃣ Split de Recompensa 70:30 (Prover : Formalizador)
2️⃣ Transparência on-chain via TRON
3️⃣ 66 problemas ao vivo agora (de ~1.022)
Por que isso importa 🧵👇
Historicamente, formalizar provas (por exemplo, no Lean) tem sido crucial, mas um trabalho feito nos bastidores sem remuneração. Ao garantir 30% da recompensa para os Formalizadores, este prêmio atribui um valor econômico real a esses heróis pouco reconhecidos.
Este é um mecanismo brilhante usando incentivos de Web3 para acelerar a comunidade de matemática e a pesquisa acadêmica！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
