Justin Sun Prize: como funciona um prêmio de matemática com pagamentos on-chain em USDT na TRON

O Justin Sun Prize é um prêmio em que a decisão sobre o pagamento não é tomada por um júri, mas por um programa de verificação. O fundador da TRON, Justin Sun, anunciou uma iniciativa em que o fundo do prêmio foi transferido para a blockchain com antecedência, o endereço da carteira foi publicado para que qualquer pessoa possa conferir o saldo, e a recompensa vai para o contemplado assim que uma prova é verificada por uma máquina "da primeira à última linha". Os pagamentos são feitos via USDT TRC-20 na TRON ou USDC na Ethereum, o critério de aceitação é a verificação formal por máquina (nos casos descritos, a formalização foi feita em Lean), e a parte mais incomum do projeto são justamente os pagamentos on-chain: segundo os organizadores, os fundos não podem ser sacados e um problema não pode ser removido do registro. Vamos ver como isso funciona tecnicamente e que questões o esquema deixa em aberto.

O que foi anunciado e quando

O escritório de Justin Sun anunciou o prêmio em 16 de setembro de 2026, em Genebra, descrevendo-o como um mecanismo acadêmico descentralizado de recompensas, construído em torno de uma "lista de problemas" com verificação formal por máquina e uma recompensa máxima de até US$ 1 milhão por problema. A lista de problemas, os padrões de confirmação e os materiais de verificação são publicados no GitHub, os registros de pagamento ficam gravados on-chain, e o contemplado escolhe a rede: USDT na TRON (TRC-20) ou USDC na Ethereum (ERC-20).

A primeira lista inclui 66 problemas clássicos de matemática — sob o slogan "66 problemas. Um limite." Entre as entradas do registro estão a verificação formal da conjectura de Poincaré, da hipótese de Riemann, da conjectura de Goldbach e de toda uma série de problemas de Paul Erdős. Segundo o NewsBTC, a recompensa máxima de US$ 1 milhão foi para uma equipe de pesquisa da OpenAI pelo problema da existência e suavidade das equações de Navier–Stokes tridimensionais, com a formalização em Lean produzida pelo GPT-6 Astra. Os materiais do prêmio estão hospedados na página do projeto. A inscrição na medalha diz "Quod probatur, solvitur" — "O que é provado é pago".

O próprio Sun descreve seu papel com modéstia: "Não sou matemático. Sou apenas um observador e um benfeitor. O resto deixo para as provas." Segundo relatos publicados, seus poderes se limitam a compilar a lista de problemas e definir os valores das recompensas — uma vez que um problema é adicionado ao registro, ele não pode ser removido, e os fundos não podem ser recuperados.

A mecânica: provador, formalizador e o status "aguardando formalização"

O prêmio difere fundamentalmente dos prêmios científicos clássicos: não há limites de idade, indicações nem cerimônias anuais. Em vez disso, existem dois papéis de contemplados.

Papel	O que faz	Quem pode exercê-lo
provador	encontra a prova	um humano, uma IA ou uma combinação dos dois
formalizador	traduz a prova para um formato verificável por máquina	um humano, uma IA ou uma combinação dos dois

Os dois papéis podem ser exercidos por um único participante ou por pessoas e sistemas diferentes. Nenhuma barreira baseada em nacionalidade ou vínculo institucional foi declarada, e não se faz distinção entre humanos e IA.

Um cenário intermediário é descrito separadamente: se uma prova é aceita pela comunidade mas ainda não foi formalizada, o problema recebe o status "provado, aguardando formalização", e os fundos permanecem bloqueados. Em outras palavras, o reconhecimento público por si só não dispara um pagamento — apenas a verificação por máquina o faz.

Por que verificação por máquina e não revisão por especialistas

O papel de "árbitro" nesse esquema fica com um provador formal não por ser moda, mas pelas propriedades da ferramenta. O Lean 4 é um provador e linguagem de programação de código aberto, usado para construir e verificar provas em larga escala; sua extensa biblioteca matemática o torna conveniente tanto para raciocinar sobre matemática quanto para analisar contratos DeFi com cálculos complexos. Foi em Lean, segundo os relatos, que a prova premiada foi formalizada.

A segunda razão é o crescimento acentuado no número de provas encontradas com a ajuda de IA. Quando o autor de uma solução é um modelo, a garantia de correção passa a ser uma formalização verificada por máquina, e não um texto coerente em linguagem natural. A escala do problema é ilustrada pelas estatísticas dos problemas de Erdős: segundo a DeepMind, de 200 soluções candidatas rotuladas como corretas ou incorretas, apenas 6.5% se revelaram "substancialmente corretas". Para um prêmio com pagamentos automáticos, esse é o argumento central: sem uma prova verificada por máquina e livre de sorry, qualquer revisão se transforma em um debate interminável entre especialistas — e em uma discussão sobre quem deve ser pago.

O outro lado da moeda é o quanto os critérios são alcançáveis. Nesses mesmos testes, um agente comercial de Lean não conseguiu formalizar dois artigos após dezenas de horas de trabalho, enquanto um harness especializado cobriu todos os sete teoremas-alvo sem nenhum sorry. Ou seja, a barra da formalização é alta, e alguns problemas podem permanecer por muito tempo no status "aguardando formalização".

Pagamentos on-chain em USDT TRC-20: como funciona

Tecnicamente, pagar um prêmio em USDT na TRON não é "apenas uma transferência", mas uma chamada ao contrato inteligente do token. O USDT na rede TRON é emitido sob o padrão TRC-20, que garante compatibilidade com protocolos e dApps na TRON; o endereço do contrato é TR7NHqjeKQxGTCi8q8ZY4pL8otSzgjLj6t. Todos os tokens TRC usam pelo menos 6 casas decimais (TRX, USDT e USDC usam 6, o USDD usa 18), o que importa ao conciliar valores em um explorador.

Alguns parâmetros práticos da rede que moldam o desenho de qualquer esquema de prêmios:

• O tempo de bloco é de cerca de 3 segundos, com o consenso mantido por 27 Super Representatives. Um pagamento é registrado quase imediatamente após o envio da transação.
• A Energy é obrigatória. Toda conta ativada recebe 600 de Bandwidth gratuito por dia, mas não há Energy gratuita para chamadas de contrato — uma transferência de USDT exige Energy ou a queima de TRX.
• fee_limit. O preço atual de uma unidade de Energy é 100 sun (0.0001 TRX), com 1 TRX = 10⁶ sun; o valor máximo de fee_limit na mainnet é 15,000 TRX.
• Endereços novos. Ativar uma nova conta custa 1 TRX fixo, além do custo usual de Bandwidth, e, se o Bandwidth for insuficiente, mais 0.1 TRX é queimado.

Convém separar aqui o marketing da tecnologia: as páginas promocionais da TRON falam em transferências de USDT com "taxa zero", querendo dizer que não há cobrança percentual pela transferência, enquanto a documentação técnica descreve um modelo de recursos — chamadas de contrato consomem Energy e Bandwidth. Formalmente, isso não é um erro da documentação, mas dois níveis de descrição do mesmo processo. Para o contemplado, resume-se a uma regra simples: ajuda manter um pouco de TRX no endereço onde o USDT vai chegar (ou ter acesso a um mecanismo de pagamento de recursos) — caso contrário, você não conseguirá movimentar os fundos.

Uma carteira pública em vez de promessas

A principal parte substantiva da abordagem "on-chain" não é a velocidade, mas a verificabilidade. O fundo do prêmio foi transferido para a blockchain com antecedência, o endereço foi tornado público e qualquer pessoa pode conferir o saldo. Isso transforma uma declaração sobre o fundo, de um comunicado de imprensa, em um fato observável, e transforma a declarada irreversibilidade dos pagamentos e a impossibilidade de remover um problema do registro em uma limitação dos próprios poderes do fundador.

Não é o primeiro bounty on-chain para provas

A ideia de pagar por teoremas diretamente a partir de uma blockchain já existia antes. No projeto Proofgold, os usuários publicam bounties sobre conjecturas: no início de 2025, mais de 13,000 bounties haviam sido publicados, dos quais quase 3,000 foram resgatados — seja pela prova de uma conjectura, seja por sua refutação. O mesmo projeto usa um esquema de commit-and-reveal para proteger a autoria, e por isso publicar um documento on-chain leva cerca de um dia, com blocos chegando aproximadamente uma vez por hora.

A comparação é reveladora: a TRON, com blocos de cerca de 3 segundos, registra um pagamento quase instantaneamente, mas a questão da proteção da autoria até a revelação da prova é resolvida não pelas propriedades da rede, e sim pelas regras do prêmio e pela publicação dos materiais no GitHub.

Riscos e o que os usuários devem verificar

Qualquer "prêmio em USDT" de grande repercussão é uma isca óbvia para golpistas, e isso não é uma hipótese, mas um cenário padrão. A documentação da TRON aconselha especificamente verificar o endereço do contrato de um token na TRONSCAN e alerta sobre tokens imitadores com nomes parecidos, como TRX2 ou USDT-V2, que quase sempre são golpes. Airdrops não solicitados para um endereço costumam servir de isca, e sites que oferecem "verificar sua carteira" com uma assinatura muitas vezes pedem um approve para gasto ilimitado de TRC-20.

O que vale verificar na prática:

1. A fonte primária do anúncio — os canais oficiais de Justin Sun e da TRON DAO, e não recontagens de segunda mão.
2. O endereço do fundo e as transações de pagamento na TRONSCAN, inclusive se o valor corresponde ao que foi anunciado.
3. O endereço do contrato do USDT TRC-20 — um token com o ticker "certo" mas com outro contrato não tem nada a ver com a Tether.
4. A formulação do problema e os critérios de aceitação no repositório: qual provador e qual biblioteca são considerados aceitáveis, a proibição de sorry e o procedimento para estabelecer a autoria.
5. Quem atua como árbitro em casos disputados e em qual jurisdição o fundo está sediado.

Conclusão

O Justin Sun Prize é interessante não pelo tamanho do seu fundo, mas pela mudança no procedimento: em vez de um comitê que lê um texto e vota, há um verificador que confere uma formalização e uma blockchain que executa o pagamento. Os papéis de provador e formalizador reconhecem uma realidade em que uma prova pode ser encontrada por uma IA, enquanto a irreversibilidade declarada do registro restringe o próprio fundador. Ao mesmo tempo, o esquema herda todas as limitações que o acompanham: uma barra alta de formalização, a dependência da qualidade da formulação dos problemas e a vulnerabilidade de uma marca de grande visibilidade ao phishing. A verificabilidade funciona nos dois sentidos aqui — e os fatos merecem ser confirmados por meio do explorador e das fontes primárias, e não das manchetes.

Este material tem apenas caráter informativo e não constitui aconselhamento de investimento.