Justin Sun acabou de lançar o Justin Sun Prize, uma iniciativa que combina Matemática, IA e Verificação Formal. O que mais me agrada é que não se limita apenas a pesquisadores de universidades ou grandes instituições, mas também abre espaço para Contribuidores Independentes e equipes Human-AI participarem. O princípio é bastante direto: Resolver o problema → Criar a prova → Permitir que a máquina verifique → Então, passar para a avaliação do prêmio. Outro aspecto interessante é que o sistema opera em código aberto e disponibiliza publicamente os problemas, provas e materiais de verificação para inspeção. O prêmio máximo no nível Pinnacle é de US$ 1 milhão por problema verificado com sucesso. Pessoalmente, acho essa ideia interessante porque não valoriza apenas “quem fez”, mas sim o quão verificável a prova realmente é. A IA está cada vez mais nos ajudando a pensar, mas a pergunta fundamental ainda permanece: “Como podemos verificar o que a IA pensa?” Isso pode ser mais um exemplo de como a tecnologia está criando sistemas de incentivo para impulsionar a pesquisa fundamental. E, para quem está no mundo Crypto, é interessante que os prêmios possam ser pagos em USDT na TRON (TRC-20) ou em USDC na Ethereum. Assim, Justin Sun, em outro aspecto, não fala apenas sobre Blockchain ou Crypto, mas está usando capital para apoiar Matemática, IA e Pesquisa Aberta. @justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF