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 sob 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 mais o chama de mercador da morte.
"Nobel" tornou-se um termo neutro, assim como "volt" ou "watt"—despojado 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 premissas matemáticas: a dificuldade de resolver logaritmos discretos em curvas elípticas, a irreversibilidade das funções hash e a intratabilidade da fatoração de grandes números. 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 rabiscaram 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 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 essa mesma fundação.
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 uma mera falha.
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 à conquista vitalícia. Ambos são excepcionais, mas sua cadência 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, sem jamais sacá-los em vida. Erdős faleceu em 1996 e, desde então, tais recompensas tornaram-se raras.
A matemática está entrando agora em uma era inteiramente 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 os 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 é como um sino lento tocando em um mundo que muda dia após dia.
IV
Por isso, o design do Prêmio Justin Sun é 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, na vaga onde for conquistado.
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 esse padrão—Peter Scholze postou seu teorema histórico online, convocando a comunidade para formalizá-lo para verificação por máquina; o Último Teorema de Fermat está sendo atualmente traduzido em código, linha por linha, enquanto falamos.
Mas a conquista humana é reconhecida muito antes de a máquina completar seu trabalho. Assim 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 aos 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.
As fronteiras são claramente traçadas: 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 é de 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 é paga de qualquer maneira, e a versão corrigida será relançada.
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".
Depois que um problema é 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 diz: "Provado, aguardando formalização". Quando alguém formaliza aquela prova e a máquina a verifica, seu nome é inserido na coluna vazia, e o processo de estabelecimento da 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 realizadas.
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 carrega uma recompensa.
Desta lista de problemas cresce algo muito maior: um mapa público, traçando tudo o que a humanidade aceitou, mas que 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 com formalização nunca careceram de paixão; o que lhes falta é um projeto 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 continua sendo 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 trabalhos que têm 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 esconder 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 data center.
Compartilho essa visão porque estou trabalhando em direção a esse mesmo objetivo final. Desde o início, o blockchain tem sido 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 é a única base sobre a 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 é a fundação 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 em olimpíadas, e entrou na Escola de Ciências Matemáticas. Outro veio de Guilin, começou em Ciências da Terra e do Espaço, depois transferiu-se para matemática. O terceiro era de Huizhou e estudava história.
Dezenove anos depois, dois deles dividiram 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 por várias iniciativas. De agora em diante, estou concentrando todo o meu foco neste prêmio—porque 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 em homenagem a 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 em pleno gozo de minhas faculdades mentais e capaz, quero dirigir esta riqueza por conta própria: ela veio da matemática, e retorna à matemática.
Quanto a qualquer escrutínio público em torno de mim, deixe que a lista de laureados fale por si. Não espero que ninguém acredite na minha palavra hoje.
O Prêmio Justin Sun 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 fundo inicial do prêmio já foi transferido para o blockchain. O endereço é público, e qualquer pessoa pode ver o saldo. Retenho apenas o direito de adicionar mais fundos.
Cada prova vencedora será tornada pública, para que qualquer pessoa possa examiná-la por si mesma. 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 às provas.
Justin Sun
Para mais informações sobre o Prêmio Justin Sun, visite os seguintes canais oficiais:
Site Oficial: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
