I
Alfred Nobel inventou a dinamite, o que lhe rendeu a maior parte de sua fortuna.
Conta a lenda que, em 1888, um jornal francês publicou por engano seu obituário com a manchete: "O mercador da morte está morto." Nobel leu seu próprio obituário e, alguns anos depois, redigiu seu testamento.
Hoje, ninguém o chama de mercador da morte.
"Nobel" tornou-se um termo neutro, assim como "volt" ou "watt"—desprovido de sentimento, simplesmente uma unidade de medida. Ele deixou sua fortuna para aqueles que "conferiram o maior benefício à humanidade". Sua riqueza retornou à humanidade, e seu nome recuperou sua neutralidade—não através de autojustificação, mas por meio de uma lista centenária de laureados.
Compartilho esta história porque o entendo. Sei de onde vem a riqueza e para onde ela pode ir.
II
Minha fortuna foi construída sobre a matemática.
Toda a indústria blockchain repousa sobre alguns blocos criptográficos bem estudados e pressupostos matemáticos: a dificuldade de resolver logaritmos discretos em curvas elípticas, a irreversibilidade das funções hash e a intratabilidade da fatoração de números grandes. Em 1985, dois matemáticos conceberam independentemente a ideia de usar curvas elípticas para criptografia—um em uma universidade, o outro na IBM, completamente alheios um ao outro. Na época, ninguém via qualquer uso prático. O que eles esboçaram nos quadros-negros evoluiu posteriormente para um mercado de trilhões de dólares, concedendo aos indivíduos algo sem precedentes: verdadeira soberania financeira, sem necessidade de permissão. No entanto, esses dois matemáticos nunca ganharam um centavo com a revolução que possibilitaram.
Essa liberdade é um dos dons mais profundamente subestimados da matemática à humanidade. Eu tirei muito proveito desse dom. Estabelecer este prêmio é, acima de tudo, minha forma de retribuir a esse fundamento.
III
Não existe Prêmio Nobel de Matemática. Essa omissão remonta a mais de um século—talvez nascida de razões pessoais, ou talvez apenas um mero descuido.
Mais tarde vieram a Medalha Fields, concedida a cada quatro anos a matemáticos com menos de quarenta anos, e o Prêmio Abel, concedido anualmente em reconhecimento à realização vitalícia. Ambos são excepcionais, mas seu ritmo pertence a uma era passada.
A comunidade matemática, no entanto, tinha sua própria tradição. Paul Erdős passou a vida oferecendo recompensas por problemas matemáticos não resolvidos, variando de US$ 25 a US$ 10.000. Qualquer pessoa que resolvesse um deles recebia um cheque dele. Muitos emolduraram esses cheques em suas paredes, nunca sacando-os durante suas vidas. Erdős faleceu em 1996, e desde então, tais recompensas tornaram-se raras.
A matemática está entrando agora em uma era totalmente nova. A inteligência artificial não pode realizar experimentos físicos, mas se destaca no raciocínio lógico. Ela pode ter dificuldade em construir um colisor de partículas para físicos, mas pode explorar dez mil caminhos para um matemático. Hoje, o tempo entre propor uma conjectura e prová-la pode ser questão de meses, ou até dias. Diante de tal velocidade sem precedentes, um prêmio concedido a cada quatro anos soa como um sino lento tocando em um mundo que muda dia após dia.
IV
Por isso, o design do Justin Sun Prize é extraordinariamente simples.
O prêmio recompensa a solução, não a pessoa. Sem galas anuais, sem indicações burocráticas, sem limites de idade.
Cada desafio reconhece dois contribuidores distintos: o provador e o formalizador—a pessoa que traduz a prova para um formato verificável por máquina. Esses papéis podem ser reivindicados pela mesma pessoa, ou por estranhos do outro lado do mundo. Humano, IA, ou um híbrido de ambos—eu me importo apenas com o resultado, não se o contribuidor é humano ou uma máquina. O mesmo nome pode aparecer repetidamente, em qualquer vaga que for conquistada.
O pagamento tem um único gatilho: a máquina deve verificar a prova da primeira à última linha, sem um único erro. Uma vez aprovada na verificação, aqueles listados nas duas colunas são os proprietários do prêmio para aquele problema.
Eu não inventei este padrão—Peter Scholze postou seu teorema histórico online, chamando a comunidade para formalizá-lo para verificação por máquina; o Último Teorema de Fermat está sendo atualmente traduzido para código, linha por linha, enquanto falamos.
Mas a conquista humana é reconhecida muito antes de a máquina completar seu trabalho. Uma vez que a comunidade matemática aceita uma prova, o nome do provador é oficialmente reconhecido. Os fundos permanecem bloqueados, e o status atualiza para: "Provado, aguardando formalização".
A recompensa por resolução de problemas aplica-se apenas a desafios resolvidos após serem adicionados ao registro oficial. Se um problema já estiver resolvido quando incluído, o nome do provador ainda será registrado, mas o prêmio vai inteiramente para quem o formalizar para a máquina. Este prêmio documenta a história conforme ela se desenrola; ele não emite prêmios retroativos para trabalhos já realizados.
Os limites são traçados claramente: o crédito vai para a comunidade matemática, o prêmio pertence à máquina, e o financiador mantém estrita independência de ambos. O julgamento humano é reservado para uma única coisa: confirmar que o problema codificado na máquina é de fato o problema correto.
Minha autoridade começa e termina em uma coisa: a lista. Quais desafios são adicionados, e quais recompensas carregam—isso está a meu exclusivo critério. Erdős escrevia os valores em seus cheques pessoalmente, e não vejo razão para quebrar essa tradição. Mas uma vez que uma recompensa é listada, ela fica travada: problemas só podem ser adicionados, nunca removidos; fundos só podem ser pagos, nunca retirados pelo financiador.
Ninguém, incluindo eu, pode adulterar isso. Se um desafio for formulado incorretamente, a recompensa será paga de qualquer maneira, e a versão corrigida será relistada.
Meu foco pessoal está inteiramente concentrado nesta única tarefa. Além de precificar as recompensas, não tenho voto na verificação, no pagamento ou na atribuição de nomes.
Os resultados falam por si.
V
O aspecto mais convincente dessas regras é a "espera".
Após um problema ser resolvido e aceito pela comunidade matemática, o prêmio não é concedido imediatamente. O nome do provador aparece primeiro, a coluna de formalização permanece em branco, e o status lê: "Provado, aguardando formalização". Uma vez que alguém formalize aquela prova e a máquina a verifique, seu nome é inserido na coluna em branco, e o processo de estabelecer a propriedade do prêmio começa naquele momento.
Em outros prêmios, a espera é tempo morto—um processo burocrático, um mal necessário. Aqui, a espera em si é um inventário aberto de tarefas a serem feitas.
Muitos emolduraram os cheques de Erdős em suas paredes e nunca os sacaram. Um cheque não sacado é um monumento ao passado, enquanto o prêmio bloqueado on-chain é um catalisador para o futuro. Aquela vaga em branco efetivamente anuncia ao mundo: uma tarefa histórica aguarda, e ela carrega uma recompensa.
Dessa lista de problemas cresce algo muito maior: um mapa público, traçando tudo o que a humanidade aceitou, mas as máquinas ainda não verificaram. Tal mapa não existe hoje. Ele existe apenas em fragmentos, espalhados por plataformas díspares—nunca unificado, e certamente sem etiquetas de preço.
Aqueles que trabalham na formalização nunca careceram de paixão; o que lhes falta é uma planta baixa com recompensas claras anexadas. A recompensa vai para quem completa a tarefa. A partir de hoje, a paixão por alimentar longas provas nas máquinas permanece deles, mas o apoio financeiro é minha responsabilidade.
VI
Também quero falar sobre a filosofia orientadora. É aqui que o prêmio realmente diverge do Nobel.
Nobel era um inventor. Ele acreditava, toda a sua vida, que uma coisa deveria ser útil—que deveria criar raízes na realidade, ser construída, vendida e mudar a forma como as pessoas vivem. Essa era sua filosofia orientadora, e está gravada nos prêmios que levam seu nome: física, química, medicina, literatura, paz. Cada um recompensa um trabalho que tem impacto tangível no mundo real. Por mais de um século, o Nobel honrou aqueles que constroem sobre solo firme.
Minha filosofia orientadora é diferente, e não vejo razão para ocultar suas origens. Li o ensaio de Dario Amodei Machines of Loving Grace e compartilho a visão que ele pinta: uma nação de gênios vivendo dentro de um centro de dados.
Compartilho essa visão porque estou trabalhando em direção a esse mesmo objetivo final. Desde o início, o blockchain foi um reino construído inteiramente no abstrato—sem fábricas, sem minas, sem território, apenas consenso e matemática. Meu trabalho em IA é simplesmente outra forma de expandir esse reino. Acredito que neste século uma grande parcela das estruturas mais importantes da humanidade existirá nos reinos digitais, e o puro raciocínio é o único fundamento sobre o qual tal reino pode ser construído. Em 1940, G. H. Hardy escreveu em A Mathematician’s Apology que estava feliz que a teoria dos números nunca teria qualquer uso prático. Oitenta anos depois, a teoria dos números é o fundamento da minha indústria.
Nobel e eu escolhemos direções diferentes. Ele recompensava aplicações tangíveis no mundo real; eu estou recompensando o puramente teórico—estruturas abstratas construídas com precisão lógica impecável. Nenhuma abordagem é superior à outra; elas refletem duas eras e dois paradigmas distintos. Quero passar adiante essa visão de um reino abstrato, movido pela lógica, ano após ano, através de um prêmio.
VII
No outono de 2007, três alunos ingressaram na Universidade de Pequim no mesmo ano. Um chegou de Shenzhen, medalhista de ouro da Olimpíada, e entrou na Escola de Ciências Matemáticas. Outro veio de Guilin, começou nas Ciências da Terra e do Espaço, depois transferiu-se para a matemática. O terceiro era de Huizhou e estudava história.
Dezenove anos depois, dois deles compartilharam o palco na Filadélfia. Wang Hong e Deng Yu receberam as Medalhas Fields de 2026.
O terceiro leu a notícia recentemente enquanto navegava online da cabine de um jato particular. Ele largou o telefone. Seu primeiro pensamento não foi orgulho. Foi este: nossa geração atingiu a maioridade. É hora de fazermos nossa própria contribuição.
A contribuição deles é provar teoremas. A minha é garantir que sejam recompensados por isso.
VIII
Ao longo dos anos, meus esforços filantrópicos foram dispersos em várias iniciativas. De agora em diante, estou concentrando todo o meu foco neste prêmio—porque ele representa minha contribuição potencial mais significativa para a humanidade.
Por enquanto, é um prêmio de matemática.
IX
Um ponto final sobre por que este prêmio leva meu nome: há duas razões principais.
Primeiro, um prêmio nomeado após uma pessoa é uma das poucas coisas que transcende a política institucional. Nobel, Fields, Abel, Turing, Wolf—os prêmios mais duradouros em matemática e ciências são quase todos nomeados em homenagem a indivíduos. Nações mudam, instituições fazem rebranding, empresas desaparecem. Uma vez que um nome está em um prêmio, ele permanece. Ninguém o reescreve.
Segundo, devo isso a mim mesmo. Tenho trinta e seis anos. A riqueza que já acumulei excede o que preciso. Riqueza sem propósito gera disputas de herança e degenera em meros registros de casas de leilões. Enquanto estou sadio e capaz, quero guiar esta riqueza eu mesmo: ela veio da matemática, e retorna à matemática.
Quanto a qualquer escrutínio público em torno de mim, deixe a lista de laureados falar por si. Não espero que ninguém acredite na minha palavra hoje.
O Justin Sun Prize foi construído para resistir ao teste do tempo.
X
Para encerrar, este prêmio não requer confiança entre pessoas. A verificação é matemática. A máquina responde apenas à lógica. O pool inicial de prêmios já foi transferido para a blockchain. O endereço é público, e qualquer um pode ver o saldo. Eu retenho apenas o direito de adicionar mais fundos.
Cada prova vencedora será tornada pública, para que qualquer um possa examiná-la por si mesmo. Nenhuma confiança necessária—nem em mim, nem em qualquer comitê. Cada pagamento permanecerá na cadeia—público, imutável, verificável daqui a cem anos. Uma vez que uma prova é estabelecida, ela permanece para sempre. Espero que a recompensa dada ao provador reflita essa mesma permanência duradoura.
Não sou um matemático. Sou meramente um observador e um benfeitor. O resto é deixado para as provas.
Justin Sun
Para mais informações sobre o Justin Sun Prize, visite os seguintes canais oficiais:
Site Oficial: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
