Nova edição do Prêmio Justin Sun homenageia a colaboração entre humanos e IA nos problemas de Erdős

Wouter van Doorn é um teórico de números independente que começou a pesquisar matemática ainda na graduação, em 2010, e continuou colaborando e publicando trabalhos após deixar o meio acadêmico, após concluir seu mestrado. Quanyu Tang (汤泉宇) é aluno de doutorado em matemática na Universidade de Ciência e Tecnologia da China, cuja pesquisa abrange teoria dos números, combinatória e descobertas matemáticas auxiliadas por IA.

Os problemas de Erdős são questões matemáticas formuladas ou popularizadas pelo matemático húngaro Paul Erdős sobre números, padrões e outras estruturas matemáticas. Muitas vezes simples de formular, mas difíceis de resolver, eles 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 pesquisador da Royal Society na Universidade de Manchester, conta com mais de 1.200 problemas.

Van Doorn e Tang trabalharam com Yanyang Li, da Faculdade de Matemática da Universidade do Sudeste, em Nanjing, para resolver o Problema de Erdős nº 650, determinando exatamente quantos números inteiros podem sempre ser emparelhados com múltiplos distintos dentro de um intervalo especificado. Van Doorn também produziu provas verificáveis por computador no Lean, um software para verificação de raciocínio matemático, para o problema nº 369, referente a números inteiros consecutivos com fatores primos restritos; o nº 457, sobre se uma sequência curta de números inteiros consecutivos pode conter, coletivamente, todos os números primos em um determinado intervalo; e o nº 469, sobre se os recíprocos de uma classe especial de números, expressáveis como somas de seus divisores, resultam em um total finito.

Tang resolveu separadamente o #1044, estabelecendo um limite inferior preciso para os comprimentos das bordas de regiões definidas por polinômios, e contribuiu, juntamente com Li, para a solução de uma equipe mais ampla do #1196, que estabelece limites para somas ponderadas sobre conjuntos de números inteiros nos quais nenhum elemento divide outro.

Seu trabalho no problema nº 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 prova, enquanto o Aristotle, um sistema de IA para raciocínio matemático, corrigiu uma lacuna durante a formalização com Lean. Os pesquisadores então simplificaram o argumento e redigiram as provas finais e a exposição.

“Essa experiência me ensinou como o feedback do 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.

Esses 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 vencedores 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 vencedor. 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, 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 blockchain líder na 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 contam com o USDT na TRON para acessar o sistema financeiro global.

Protegido do fundador do Alibaba, Jack Ma, Sun tem sido reconhecido internacionalmente por seu trabalho no setor de ativos digitais, incluindo uma matéria de capa da Forbes em abril de 2025 e várias aparições na lista “30 Under 30” da Forbes. Em agosto de 2025, ele voou a bordo da missão NS-34 da Blue Origin, tornando-se a 712ª pessoa na história a viajar para o espaço. Seus interesses abrangem tecnologia, investimentos, filantropia, arte, jogos e exploração espacial.

Contato do escritório de Justin Sun:

info@hejustinsun.com

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 auxiliadas por IA. O prêmio é descentralizado e baseado no princípio de que trabalhos matemáticos devem ser julgados pela solidez, rigor e verificabilidade da própria prova, e não pelo prestígio ou reputação de quem a apresenta.

Justin Sun criou o prêmio em seu próprio nome como um compromisso de longo prazo para devolver à própria matemática a riqueza gerada por meio da matemática e da tecnologia. Seu legado deve ser definido pelo conjunto de trabalhos que reconhece e pelos laureados cujas descobertas resistem ao teste do tempo. O prêmio vincula desafios matemáticos claramente definidos a provas verificáveis por máquina. Seus princípios orientadores são a transparência, o benefício público e o acesso de código aberto.

Acesse https://www.hejustinsun.com/prize para obter mais informações.

Contato:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

O Bitcoin.com não assume qualquer responsabilidade nem obrigação, e não será responsável, direta ou indiretamente, por qualquer perda, dano, reclamação, custo ou despesa de qualquer natureza, seja ela real, alegada ou consequencial, decorrente de ou relacionada ao uso ou confiança em qualquer conteúdo, produto ou serviço mencionado neste artigo. Qualquer confiança depositada nessas informações é de inteira responsabilidade do leitor.