- O problema nº 1196 de Erdős, sobre conjuntos primitivos de inteiros, permaneceu sem solução desde 1966 até ser resolvido em oitenta minutos.
- O jovem Liam Price, de 23 anos, sem formação matemática avançada, usou o ChatGPT para encontrar uma solução.
- Terence Tao confirmou que a conjectura tinha solução após a intervenção do GPT-5.4 Pro, em oitenta minutos.
- A abordagem do GPT-5.4 manteve-se no âmbito abstrato e utilizou a função de von Mangoldt, ligada aos números primos.
O jovem Liam Price, de 23 anos, resolveu o problema nº 1196 de Erdős em 80 minutos, usando o GPT-5.4 Pro. Ele acessou o site de problemas, escolheu aleatoriamente o enunciado e enviou ao chat. A solução apareceu como plausível.
Terence Tao, renomado matemático, confirmou a resolução do problema, que persistia sem solução desde 1966. A conjectura trata de conjuntos primitivos de inteiros e o comportamento de uma adição específica quando os números crescem muito.
Quase ninguém esperava que um estudante sem formação matemática avançada chegasse a uma solução tão rápida. A experiência começou com uma consulta de Price a um amigo que estudava matemática, que ajudou a avaliar o resultado.
Abordagem inovadora
O GPT-5.4 Pro utilizou a função de von Mangoldt, ligada à teoria dos números e aos primos, para orientar a resolução. A estratégia divergiu de tentativas anteriores, que seguiram caminhos tradicionais no estudo dos conjuntos primitivos.
O caso envolveu ainda Jared Lichtman, matemático de Stanford que dedicou anos ao problema, além de pesquisadores que já tinham trabalhado no enunciado. A solução gerou debate sobre o papel de modelos de IA no trabalho matemático.
A conclusão sobre a eficiência da IA em matemática permanece em discussão. Especialistas destacam que a ferramenta pode acelerar verify estatísticas e explorar caminhos abstratos, sem eliminar a necessidade de validação humana rigorosa.
Entre na conversa da comunidade