Em cerca de 80 minutos, o ChatGPT resolveu um problema matemático que era considerado insolúvel há mais de 60 anos. (Fonte da imagem: ChatGPT)
O lendário matemático Paul Erdös deixou um enorme legado de milhares de quebra-cabeças que gerações de pesquisadores consideraram insolúveis.
Mas em janeiro de 2026, cerca de 80 minutos de tempo de computação são suficientes para superar um desses obstáculos de 64 anos: um usuário do ChatGPT de 23 anos usa IA para resolver a conjectura nº 728 de Erdős sobre divisibilidade fatorial.
Depois que toda a história do ChatGPT foi compartilhada, o famoso matemático Terence Tao confirmou os resultados em Mastadon. Tao vê isso como uma evidência de “melhoria significativa no desempenho da ferramenta nos últimos meses”.
1:10
Voice Matters: Ninguém introduziu um novo recurso de voz AI
GPT 5.4 encontrou uma solução para o problema de Erdös
A notícia apareceu pela primeira vez no X (antigo Twitter):
»Um homem de 23 anos resolveu um dos problemas de Erdös que não era resolvido há 60 anos usando ChatGPT 5.4 Pro. E na primeira tentativa. Tempo gasto pelo ChatGPT para resolver o problema: 1 hora e 20 minutos. O mais interessante é que a IA resolve o problema usando uma fórmula que todo mundo conhece, mas ninguém jamais aplicou ao problema.
Link para Conteúdo do Twitter
Todo o histórico de bate-papo do jovem de 23 anos também está vinculado ao ChatGPT, que ainda pode ser visualizado publicamente.
Qual é o problema de Erdős? Paul Erdős foi um matemático húngaro (1913-1996) conhecido pela sua produtividade e colaboração com centenas de outros investigadores. Publicou mais de 1.500 artigos, principalmente em teoria dos números, combinatória e teoria dos grafos. (via Wikipédia.org)
Erdős tinha a reputação de inventar constantemente novos problemas matemáticos e oferecer prêmios em dinheiro para resolvê-los. Os problemas aos quais Erdős se referiu variam desde questões simplesmente formuladas, mas difíceis de resolver, até conjecturas importantes na teoria dos números. Alguns deles já foram resolvidos, muitos ainda estão abertos até hoje.
O matemático Terence Tao confirmou os resultados
Em Mastadon, o famoso matemático Terence Tao confirmou esta prova e anunciou que o ChatGPT proporcionou quase autossuficiência.
Recentemente, foi alcançado um marco na aplicação de ferramentas de IA ao problema de Erdős: O Problema de Erdős (n.º 728, resolvido de forma mais ou menos autónoma pela IA (após algum feedback na primeira tentativa), no espírito do problema (conforme reconstruído pela comunidade do site do Problema de Erdos), com resultados (até onde sabemos) não encontrados na literatura existente (a mesma evidência).
No entanto, cerca de dois meses depois de se tornar conhecido, Tao acrescentou que o método usado pelo ChatGPT é semelhante ao de um artigo de 2014 do matemático Pomerance. O próprio Pomerance afirmou em uma breve nota que o trabalho também fornece uma solução para o problema do 728.
Mais no tópico: “Usado pelo próprio hype da GPT”: OpenAI é ridicularizado por falsos avanços matemáticos
Apesar desta limitação, as evidências ainda marcam um grande sucesso para o desenvolvimento da inteligência artificial. Embora especialistas como Terence Tao afirmem que o método utilizado já existe, isso mostra que a IA pode acelerar a prova.
