Genebra, Suíça — 5 de outubro de 2026 — O Escritório de Justin Sun anunciou hoje os mais recentes vencedores do Prémio Justin Sun: o investigador independente Wouter van Doorn, o doutorando em matemática Quanyu Tang e o investigador de matemática Yanyang Li, da Universidade do Sudeste, em Nanjing, reconhecidos pelas suas contribuições para seis problemas de Erdős.
Wouter van Doorn é um teórico dos números independente que começou a investigar matemática ainda na licenciatura, em 2010, e continuou a colaborar e a publicar depois de sair do meio académico, após concluir o mestrado. Quanyu Tang (汤泉宇) é doutorando em matemática na Universidade de Ciência e Tecnologia da China, e a sua investigação abrange a teoria dos números, a combinatória e a 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 simples de enunciar, mas difíceis de resolver, eles ajudaram a moldar a pesquisa em teoria dos números e combinatória, e alguns continuam em aberto há décadas. O catálogo de Erdős, compilado e mantido por Thomas Bloom, matemático e pesquisador da Royal Society 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 Nanjing, para resolver o problema de Erdős #650, determinando exatamente quantos inteiros sempre podem ser associados a múltiplos distintos dentro de um intervalo especificado. Van Doorn também produziu demonstrações verificáveis por computador em Lean, um software para verificar o raciocínio matemático, para o problema #369, sobre inteiros consecutivos com fatores primos restritos; o problema #457, sobre a possibilidade de uma sequência curta de inteiros consecutivos conter, em conjunto, todos os números primos de determinado intervalo; e o problema #469, sobre se os recíprocos de uma classe especial de números que podem ser expressos como a soma de seus divisores têm soma finita.
Tang resolveu separadamente o problema #1044, estabelecendo um limite inferior preciso para os comprimentos das fronteiras de regiões definidas por polinômios, e contribuiu, junto com Li, para a solução do problema #1196 por uma equipe mais ampla, que limita somas ponderadas sobre conjuntos de inteiros nos quais nenhum elemento divide outro.
O trabalho deles sobre o problema #650 oferece um exemplo concreto de como o julgamento humano e a IA podem se complementar. O ChatGPT ajudou a desenvolver a estratégia de demonstração, enquanto o Aristotle, um sistema de IA para raciocínio matemático, corrigiu uma lacuna durante a formalização em Lean. Em seguida, os pesquisadores simplificaram o argumento e escreveram as demonstrações finais e a exposição.
“Essa experiência me ensinou como o retorno do público pode ajudar a refinar 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, que reconhecem tanto descobertas matemáticas quanto o trabalho necessário para tornar as demonstrações verificáveis de forma independente. Informações sobre o Prêmio Justin Sun, seu catálogo de problemas e as contribuições dos premiados estão disponíveis no repositório público do programa no GitHub.
Os prêmios serão pagos 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 empresariais globais, filantrópicas e públicas 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 foi 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, viajou a bordo da missão NS-34 da Blue Origin, tornando-se a 712.ª pessoa na história a ir ao 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 na matemática, na verificação formal e na descoberta científica assistida por IA. O prêmio é descentralizado e baseia-se no princípio de que o trabalho matemático deve ser avaliado pela qualidade, 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 em seu próprio nome como um compromisso de longo prazo de devolver à própria matemática a riqueza gerada pela matemática e pela tecnologia. A intenção é que seu legado seja definido pelo conjunto de trabalhos que reconhece e pelos laureados cujas descobertas resistam ao teste do tempo. O prêmio conecta 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-fonte aberto.