O que é o Justin Sun Prize?
Em termos simples, @justinsuntron reservou uma premiação para qualquer pessoa que consiga provar com sucesso problemas matemáticos desafiadores.
O sistema reconhece dois contribuidores:
1. Prover: A pessoa que resolve e prova o problema
2. Formalizer: A pessoa que traduz a prova para um formato que um computador possa verificar formalmente
O contribuidores pode ser humano, IA ou uma combinação de ambos.
Desde que a prova final possa ser verificada por um computador com 100% de correção. 🤖
O interessante é que, se alguém já resolveu um problema, mas a prova ainda não foi formalizada para verificação pelo computador, o prêmio continua bloqueado e o status é exibido como:
“Provado, aguardando formalização.”
Isso permite que todos vejam que o problema foi resolvido, mas ainda há uma recompensa esperando por alguém que torne a prova verificável pela máquina.
O dinheiro do prêmio fica bloqueado na blockchain, onde qualquer pessoa pode verificá-lo. Assim que a prova passar na verificação, o prêmio é liberado. 💰
O objetivo do Justin Sun Prize é, essencialmente, criar um mercado de recompensas para problemas matemáticos, acelerando o processo de transformar provas matemáticas humanas em algo que a IA e os computadores possam verificar formalmente. 🥳
Resumindo:
O humano prova → Alguém formaliza → A máquina verifica → O prêmio é pago 💰
#TRON #TGF
Em termos simples, @justinsuntron reservou uma premiação para qualquer pessoa que consiga provar com sucesso problemas matemáticos desafiadores.
O sistema reconhece dois contribuidores:
1. Prover: A pessoa que resolve e prova o problema
2. Formalizer: A pessoa que traduz a prova para um formato que um computador possa verificar formalmente
O contribuidores pode ser humano, IA ou uma combinação de ambos.
Desde que a prova final possa ser verificada por um computador com 100% de correção. 🤖
O interessante é que, se alguém já resolveu um problema, mas a prova ainda não foi formalizada para verificação pelo computador, o prêmio continua bloqueado e o status é exibido como:
“Provado, aguardando formalização.”
Isso permite que todos vejam que o problema foi resolvido, mas ainda há uma recompensa esperando por alguém que torne a prova verificável pela máquina.
O dinheiro do prêmio fica bloqueado na blockchain, onde qualquer pessoa pode verificá-lo. Assim que a prova passar na verificação, o prêmio é liberado. 💰
O objetivo do Justin Sun Prize é, essencialmente, criar um mercado de recompensas para problemas matemáticos, acelerando o processo de transformar provas matemáticas humanas em algo que a IA e os computadores possam verificar formalmente. 🥳
Resumindo:
O humano prova → Alguém formaliza → A máquina verifica → O prêmio é pago 💰
#TRON #TGF