Nesta época, muitas pessoas provavelmente já viram viral o The Justin Sun Prize, uma premiação com valor máximo de 1 milhão de dólares, certo? Segundo várias fontes.
Neste post, eu vou explicar como buscar/caçar a premiação do The Justin Sun Prize
a partir de uma comprovação de problemas de matemática.
@Justin Sun孙宇晨 criou um fundo de prêmios de matemática, aberto para que qualquer pessoa no mundo procure, sem limitações de nacionalidade, sem necessidade de diploma, sem vínculo com universidade e sem distinguir entre quem faz como humano ou como IA—basta que seja algo que funcione de verdade e que possa ser verificado.
Mas este jogo não é como as competições comuns de matemática. Porque “resolver o problema” apenas não é suficiente; você também precisa converter a prova para a linguagem Lean 4, para que o verificador da máquina revise e passe, para então contar.
Eu fui desmontar o repositório oficial inteiro. Resumo o método de buscar do começo ao fim.
Coisa boa, pessoal 🔥
#TRON #TGF #TronGlobalFriends
Neste post, eu vou explicar como buscar/caçar a premiação do The Justin Sun Prize
a partir de uma comprovação de problemas de matemática.
@Justin Sun孙宇晨 criou um fundo de prêmios de matemática, aberto para que qualquer pessoa no mundo procure, sem limitações de nacionalidade, sem necessidade de diploma, sem vínculo com universidade e sem distinguir entre quem faz como humano ou como IA—basta que seja algo que funcione de verdade e que possa ser verificado.
Mas este jogo não é como as competições comuns de matemática. Porque “resolver o problema” apenas não é suficiente; você também precisa converter a prova para a linguagem Lean 4, para que o verificador da máquina revise e passe, para então contar.
Eu fui desmontar o repositório oficial inteiro. Resumo o método de buscar do começo ao fim.
Coisa boa, pessoal 🔥
#TRON #TGF #TronGlobalFriends
