🧠✨ O Prêmio Justin Sun é mais do que um prêmio de matemática.
Sua ideia mais profunda é recompensar um conhecimento que possa ser verificado formalmente e preservado.
O modelo separa dois papéis:
① O Prover resolve o problema.
② O Formalizador converte a prova em Lean para verificação por máquina.
A divisão do prêmio indicada é de 70% / 30%.
Na era da IA, isso importa. A IA pode gerar ideias, mas ideias não são automaticamente teoremas verificados.
A formalização cria uma ponte para um conhecimento durável e verificável por máquina. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
Sua ideia mais profunda é recompensar um conhecimento que possa ser verificado formalmente e preservado.
O modelo separa dois papéis:
① O Prover resolve o problema.
② O Formalizador converte a prova em Lean para verificação por máquina.
A divisão do prêmio indicada é de 70% / 30%.
Na era da IA, isso importa. A IA pode gerar ideias, mas ideias não são automaticamente teoremas verificados.
A formalização cria uma ponte para um conhecimento durável e verificável por máquina. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
