Genebra, Suíça — 5 de outubro de 2026 — O Gabinete de Justin Sun anunciou hoje os mais recentes vencedores do Prêmio Justin Sun: o pesquisador independente Wouter van Doorn, o estudante de doutorado em matemática Quanyu Tang e o pesquisador de matemática Yanyang Li, da Universidade do Sudeste em Nanquim. Eles foram reconhecidos por contribuições a seis problemas de Erdős.
Wouter van Doorn é um teórico dos números independente que começou a pesquisar matemática como estudante de graduação em 2010 e continuou colaborando e publicando depois de deixar a academia com um mestrado. Quanyu Tang (汤泉宇) é um estudante de doutorado em matemática na Universidade de Ciência e Tecnologia da China, cuja pesquisa abrange teoria dos números, combinatória e descoberta matemática assistida por IA.
Os problemas de Erdős são questões matemáticas propostas ou popularizadas pelo matemático húngaro Paul Erdős sobre números, padrões e outras estruturas matemáticas. Muitas vezes são simples de enunciar, mas difíceis de resolver, e ajudaram a moldar a pesquisa em teoria dos números e combinatória, com alguns permanecendo em aberto por décadas. O catálogo de Erdős, compilado e mantido por Thomas Bloom, matemático e Royal Society University Research Fellow na Universidade de Manchester, contém mais de 1.200 problemas.
Van Doorn e Tang trabalharam com Yanyang Li, da Escola de Matemática da Universidade do Sudeste em Nanquim, para resolver o Problema de Erdős #650, determinando exatamente quantos inteiros podem sempre ser associados a múltiplos distintos dentro de um intervalo especificado. Van Doorn também produziu provas verificáveis por computador em Lean, software para verificar raciocínio matemático, para o #369, sobre inteiros consecutivos com fatores primos restritos; #457, sobre se uma curta sequência de inteiros consecutivos pode coletivamente conter todos os primos em um dado intervalo; e #469, sobre se os recíprocos de uma classe especial de números expressáveis como somas de seus divisores somam um total finito. Tang resolveu separadamente o #1044, estabelecendo um limite inferior preciso para comprimentos de fronteira de regiões definidas por polinômios, e contribuiu ao lado de Li para a solução de uma equipe mais ampla do #1196, limitando somas ponderadas sobre conjuntos de inteiros nos quais nenhum membro divide outro.
Seu trabalho no #650 oferece um exemplo concreto de como o julgamento humano e a IA podem se complementar. O ChatGPT ajudou a desenvolver a estratégia da prova, enquanto o Aristotle, um sistema de IA para raciocínio matemático, reparou uma lacuna durante a formalização em Lean. Os pesquisadores então simplificaram o argumento e escreveram as provas finais e a exposição.
"Esta experiência me ensinou como o feedback público pode aprimorar uma questão de pesquisa, e como a descoberta assistida por IA pode combinar julgamento matemático, colaboração e verificação rigorosa", disse Tang.
Estes são os primeiros prêmios confirmados do programa, reconhecendo tanto a descoberta matemática quanto o trabalho necessário para tornar as provas verificáveis de forma independente. Informações sobre o Prêmio Justin Sun, seu catálogo de problemas e as contribuições dos recipientes estão disponíveis por meio do repositório público do programa no GitHub. Os prêmios serão pagos em USDT na TRON (TRC-20) ou USDC na Ethereum (ERC-20), com base na escolha do recipiente. Para mais informações, visite www.hejustinsun.com/prize.
Sobre o Gabinete de Justin Sun
O Gabinete de Justin Sun apoia os negócios globais, filantrópicos e iniciativas públicas de Justin Sun em tecnologia, blockchain, inteligência artificial, pesquisa científica, investimento, arte e exploração espacial.
Justin Sun é o Embaixador e ex-Representante Permanente de Granada junto à Organização Mundial do Comércio e o Fundador da TRON. A TRON é a principal blockchain para a revolução das stablecoins, processando 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.
Um protegido do fundador da Alibaba, Jack Ma, Sun foi reconhecido internacionalmente por seu trabalho na indústria de ativos digitais, incluindo um perfil de capa da Forbes em abril de 2025 e múltiplas aparições na lista Forbes 30 Under 30. Em agosto de 2025, ele voou na missão NS-34 da Blue Origin, tornando-se a 712ª pessoa na história a viajar ao espaço. Seus interesses mais amplos incluem tecnologia, investimento, filantropia, arte, jogos e exploração espacial. Contato do Gabinete de Justin Sun: info@hejustinsun.com Sobre o Prêmio Justin Sun O Prêmio Justin Sun é uma iniciativa acadêmica fundada por Justin Sun para apoiar avanços em matemática, verificação formal e descoberta científica assistida por IA. O prêmio é descentralizado e construído sobre o princípio de que o trabalho matemático deve ser julgado pela força, rigor e verificabilidade da própria prova, não pelo prestígio ou reputação daqueles que a submetem. Justin Sun estabeleceu o prêmio em seu próprio nome como um compromisso de longo prazo de devolver à própria matemática a riqueza criada por meio da matemática e da tecnologia. Seu legado deve ser definido pelo corpo de trabalho que reconhece e pelos laureados cujas descobertas resistem ao teste do tempo. O prêmio conecta desafios matemáticos claramente definidos a provas verificáveis por máquina. Seus princípios orientadores são abertura, benefício público e acesso de código aberto. Visite https://www.hejustinsun.com/prize para mais informações. Contato: thejustinsunprize@hejustinsun.com
Perguntas Frequentes
FAQs A Nova Rodada do Prêmio Justin Sun para Colaboração Humano-IA em Problemas de Erdős
Q1 O que é o Prêmio Justin Sun
É um prêmio financiado pelo empresário de criptomoedas Justin Sun que paga pessoas por resolver problemas matemáticos, especialmente os ligados aos famosos problemas de Erdős
Q2 O que são problemas de Erdős
São uma grande coleção de questões matemáticas abertas propostas ou popularizadas pelo lendário matemático húngaro Paul Erdős Muitas são simples de enunciar, mas muito difíceis de resolver
Q3 O que há de novo nesta rodada do prêmio
Esta rodada recompensa especificamente soluções em que um humano e uma IA trabalharam juntospor exemplo, uma pessoa usando um modelo de IA como ChatGPT ou um assistente de provas para resolver um problema
Q4 Eu tenho que usar IA para ganhar
Para esta rodada, sim O prêmio é voltado para colaboração humano-IA, então uma solução puramente humana ou uma puramente gerada por IA pode não se qualificar
Q5 O que conta como colaboração humano-IA
Qualquer configuração em que uma pessoa e um sistema de IA contribuam significativamentedigamos, a IA sugere etapas de prova e o humano verifica, corrige e refina elas
Q6 Quem pode participar
Geralmente qualquer umestudantes, amadores ou matemáticos profissionais Verifique as regras oficiais para limites de idade, residência ou elegibilidade
Q7 Quanto é o prêmio
Os valores dos prêmios variaram por rodada e dificuldade do problema Verifique o anúncio oficial para os números exatos
Q8 Quais problemas são elegíveis
Geralmente problemas dos bancos de dados de problemas de Erdős ou uma lista específica publicada com o prêmio Nem todo problema aberto se qualifica
Q9 Como eu submeto uma solução
Tipicamente por meio de um formulário oficial de submissão ou e-mail listado no anúncio do prêmio com sua prova e uma descrição de como a IA foi usada
Q10 A IA tem que ser uma ferramenta específica
Não, a maioria das rodadas permite qualquer ferramenta de IAmodelos de linguagem grandes, provadores de teoremas ou sistemas personalizadosdesde que você documente o que usou
Q11 Eu preciso explicar o papel da IA
Sim Os organizadores geralmente querem um relato claro do que a IA fez versus o que você fez, para que a colaboração seja transparente
Q12 E se a resposta da IA estiver errada
Isso é responsabilidade sua O humano é responsável por verificar cada etapa Un