Bom dia, pessoal😻
Se você está procurando uma renda extra, aqui vai algo interessante.
O Prêmio de Justin Sun acabou de abrir o primeiro conjunto de 66 problemas de matemática para pessoas do mundo inteiro desafiarem a si mesmas. O maior prêmio é de US$ 1.000.000.
Como participar?
Principais etapas: escolher um problema do repositório oficial do GitHub → Fazer fork do repositório → Escrever uma Prova Formal em Lean para provar o problema corretamente.
📌 Resumo simples
Escolha um problema → Escreva a prova → Teste → Envie um PR → Aguarde a revisão
Qualquer pessoa interessada pode conferir o banco de problemas e as condições de cada problema. A aprovação na revisão não significa automaticamente que você vai ganhar o prêmio — você ainda precisa seguir as regras do projeto.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
Se você está procurando uma renda extra, aqui vai algo interessante.
O Prêmio de Justin Sun acabou de abrir o primeiro conjunto de 66 problemas de matemática para pessoas do mundo inteiro desafiarem a si mesmas. O maior prêmio é de US$ 1.000.000.
Como participar?
Principais etapas: escolher um problema do repositório oficial do GitHub → Fazer fork do repositório → Escrever uma Prova Formal em Lean para provar o problema corretamente.
📌 Resumo simples
Escolha um problema → Escreva a prova → Teste → Envie um PR → Aguarde a revisão
Qualquer pessoa interessada pode conferir o banco de problemas e as condições de cada problema. A aprovação na revisão não significa automaticamente que você vai ganhar o prêmio — você ainda precisa seguir as regras do projeto.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
