O fundador da TRON, Justin Sun, anunciou o Prêmio Justin Sun, uma premiação de matemática que recompensará autores de provas e especialistas que as preparem para verificação por máquina. A iniciativa busca tornar públicos e automatizados a verificação e os pagamentos, com os fundos permanecendo bloqueados até que uma prova seja integralmente formalizada.
Como o prêmio funcionará
Sun disse que o prêmio diferirá das premiações tradicionais de matemática por não ter limites de idade, categorias ou cerimônias anuais.
Cada problema poderá ter dois destinatários: um “demonstrador”, que cria a prova matemática, e um “formalizador”, que a converte para um formato verificável por máquina. Uma única pessoa poderá desempenhar ambas as funções, ou participantes separados poderão concluí-las.
Sun disse que não importará se um resultado foi produzido por um humano, por inteligência artificial ou por uma combinação dos dois. Uma recompensa será paga apenas depois que uma máquina verificar a prova linha por linha, do início ao fim, sem erros.
Se a comunidade matemática tiver aceitado uma prova, mas ela não tiver sido formalizada, a inscrição será designada como “provada, aguardando formalização”. Os fundos correspondentes permanecerão bloqueados até que a formalização seja concluída.
O prêmio posteriormente anunciou seus primeiros 66 problemas de matemática clássica sob o slogan “66 Problemas. Uma Fronteira.”
Registro público e financiamento
Sun disse que sua autoridade será limitada à compilação da lista de problemas e à definição das recompensas. Quando um problema entrar no registro, não poderá ser removido, e os fundos depositados não poderão ser retirados.
“Eu não sou matemático. Sou apenas um observador e um benfeitor. O resto é deixado às provas”, disse Sun.
Segundo Sun, o fundo inicial de prêmios já foi transferido para a blockchain. Ele disse que seu endereço é público e que o saldo pode ser verificado de forma independente.
O usuário do X Chau Le descreveu a iniciativa como uma interseção entre matemática, blockchain, IA e verificação formal. Le disse que seu mecanismo refletia o princípio da blockchain de verificar resultados de forma independente, em vez de confiar em um intermediário.
Outro usuário do X, Kaisen, disse que o prêmio recompensa separadamente a produção de uma prova e sua conversão para um formato verificável por máquina, em vez de recompensar reputação ou status. Kaisen também disse que um registro público de problemas, provas e pagamentos on-chain poderia fornecer um registro de longo prazo dos resultados matemáticos.
Sun disse que criou o prêmio porque grande parte de sua riqueza decorre dos princípios matemáticos que sustentam a criptografia e a blockchain. Ele também afirmou que os avanços em IA estão iniciando uma nova era para a matemática ao acelerar a descoberta e a formalização de provas.
Outras atividades de Sun
Sun anteriormente tornou-se primeiro-ministro da autoproclamada Liberland, que afirma apoiar tecnologias de blockchain. Em 2025, ele participou da missão espacial NS-34 da Blue Origin após pagar US$ 28 milhões pelo voo.
Fonte: HODL Press
