Genebra, Suíça — 16 de setembro de 2026 — O Escritório de Justin Sun anunciou hoje a criação do Prêmio Justin Sun, um mecanismo descentralizado de recompensas acadêmicas baseado em confiança zero e em uma “lista de problemas”. Os critérios para a concessão dos prêmios são avanços em disciplinas fundamentais e a verificação formal por máquinas, com um prêmio máximo de até US$ 1 milhão por problema. O prêmio busca redefinir as recompensas científicas na era da IA e acelerar a pesquisa científica fundamental por meio da colaboração entre humanos e IA.
Também foi anunciada a primeira lista de vencedores do Prêmio Justin Sun, que reconhece soluções e demonstrações formalizadas para 66 problemas matemáticos. O prêmio máximo, no valor de US$ 1 milhão, foi concedido à equipe de pesquisa da OpenAI em reconhecimento à sua solução e demonstração formalizada para o problema da Existência e Regularidade das Equações de Navier–Stokes em Três Dimensões. Segundo informações publicadas pela OpenAI, a demonstração em questão foi produzida por seu modelo interno, e a formalização e verificação em Lean foram concluídas pelo GPT‑6 Astra.
Este problema diz respeito às equações de Navier–Stokes, que descrevem o movimento dos fluidos e são comumente abreviadas como equações N–S. As equações foram desenvolvidas no século XIX pelo físico francês Claude-Louis Navier, pelo matemático britânico nascido na Irlanda George Gabriel Stokes e por outros, e têm uma história de aproximadamente duzentos anos. Em 2000, o Clay Mathematics Institute incluiu o problema da existência e regularidade de Navier–Stokes entre os sete Problemas do Prêmio do Milênio e ofereceu uma recompensa de US$ 1 milhão por sua solução.
O Prêmio Justin Sun não recorre a indicações tradicionais nem a exigências de credenciais como barreiras à participação, tampouco funciona em ciclos de quatro anos ou segue o ritmo das conquistas ao longo de uma vida. Em vez disso, vincula o prêmio diretamente a problemas matemáticos e a provas formalizadas verificáveis por máquina. Qualquer pessoa pode receber o prêmio, desde que seja a primeira a alcançar um avanço que atenda aos critérios.
A visão do Prêmio Justin Sun é tornar-se o “Prêmio Nobel da Era da IA”, respondendo à profunda transformação da pesquisa científica e dos incentivos na nova era de uma forma mais descentralizada, formalizada e impulsionada por máquinas. O repositório de problemas matemáticos e códigos formalizados será mantido e atualizado publicamente de forma contínua. Depois que um problema for incluído, sua inclusão será definitiva: só será possível acrescentar problemas, nunca removê-los; os valores dos prêmios concedidos não precisarão ser devolvidos em nenhuma circunstância.
A lista atual de problemas já inclui a verificação formal da Conjectura de Poincaré, da Hipótese de Riemann e da Conjectura de Goldbach, além de um grande número de problemas não resolvidos propostos durante a vida do falecido matemático e laureado com o Prêmio Wolf Paul Erdős.
Além do prêmio em dinheiro, os vencedores também receberão um certificado e uma medalha. Na borda da medalha está gravada a frase em latim “Quod probatur, solvitur”, que significa “Provado, depois pago”.
O Prêmio Justin Sun segue três princípios fundamentais: abertura, benefício público e código aberto. Está aberto a todos os colaboradores elegíveis, sem restrições de nacionalidade, instituição ou identidade, e não faz distinção entre humanos e IA; os fundos são usados exclusivamente para conceder prêmios e apoiar iniciativas abertas, e não visam ao lucro; a lista de problemas, os padrões de confirmação, as provas e os materiais de verificação são disponibilizados ao público pelo GitHub, enquanto os registros de pagamento dos prêmios são gravados na blockchain para garantir rastreabilidade permanente e imutabilidade.
“Um prêmio que leva o nome de uma pessoa é a coisa menos política do mundo”, disse Sun. “Mais importante, ele me dá uma resposta a mim mesmo: minha riqueza tem raízes na matemática. Veio da matemática e à matemática voltará.”
De acordo com registros públicos, Sun já doou mais de US$ 45 milhões para áreas como tecnologia, proteção ambiental, assistência em desastres e outras. O Prêmio Justin Sun será um dos principais focos dos esforços filantrópicos de Sun, continuando a apoiar avanços na ciência básica por meio de um modelo aberto e verificável.
O prêmio será pago em USDT na TRON (TRC-20) ou em USDC na Ethereum (ERC-20), conforme a escolha do destinatário. Para mais informações, acesse www.hejustinsun.com/prize.
Sobre o Escritório de Justin Sun
O Escritório de Justin Sun apoia as iniciativas globais de negócios, filantropia e interesse público de Justin Sun nas áreas de tecnologia, blockchain, inteligência artificial, pesquisa científica, investimentos, arte e exploração espacial.
Justin Sun é embaixador e ex-representante permanente de Granada na Organização Mundial do Comércio, além de fundador da TRON. A TRON é a principal blockchain da revolução das stablecoins, tendo processado mais de US$ 13 trilhões em volume desde sua criação. Nos mercados emergentes do mundo, as pessoas dependem do USDT na TRON para acessar o sistema financeiro global.
Protegido do fundador do Alibaba, Jack Ma, Sun é reconhecido internacionalmente por seu trabalho no setor de ativos digitais, incluindo um perfil de capa da Forbes em abril de 2025 e várias aparições na lista Forbes 30 Under 30. Em agosto de 2025, ele voou a bordo da missão NS-34 da Blue Origin, tornando-se a 712ª pessoa da história a viajar para o espaço. Seus interesses mais amplos abrangem tecnologia, investimentos, filantropia, arte, jogos e exploração espacial.
Sobre o Prêmio Justin Sun
O Prêmio Justin Sun é uma iniciativa acadêmica criada por Justin Sun para apoiar avanços em matemática, verificação formal e descobertas científicas assistidas por IA. O prêmio é descentralizado e se baseia no princípio de que o trabalho matemático deve ser avaliado pela solidez, pelo rigor e pela verificabilidade da própria demonstração, e não pelo prestígio ou pela reputação de quem a apresenta.
Justin Sun criou o prêmio com seu próprio nome como um compromisso de longo prazo de reinvestir na matemática a riqueza gerada pela matemática e pela tecnologia. Seu legado deverá ser definido pelo conjunto de trabalhos que reconhece e pelos laureados cujas descobertas resistirem ao teste do tempo. O prêmio associa desafios matemáticos claramente definidos a demonstrações verificáveis por máquina. Seus princípios orientadores são a abertura, o benefício público e o acesso ao código aberto.
Acesse para mais informações.
Fonte: BeInCrypto
