Uma ferramenta de inteligência artificial resolveu o problema 1196 de Erdős, um desafio matemático que permanecia sem solução há décadas. O resultado foi obtido por um entusiasta da área por meio de um único comando enviado ao sistema e posteriormente validado por Jared Duker Lichtman, matemático da Universidade Stanford, nos Estados Unidos.
Lichtman dedicou sete anos de estudo aos problemas formulados pelo húngaro Paul Erdős, que deixou mais de 1,2 mil questões em aberto. O matemático de Stanford afirmou que, após analisar o resultado bruto produzido pela IA por cerca de uma hora, ficou claro que a solução estava correta e a ideia era inovadora.
O sistema GPT-5.4 Pro utilizou um método que não havia sido registrado na literatura matemática até então. A abordagem não apenas resolveu a questão 1196, mas também solucionou outros problemas relacionados. O processamento da resposta levou aproximadamente 80 minutos.
A tecnologia já havia auxiliado na resolução de várias dezenas de outros problemas de Erdős, porém a maioria era considerada simples ou pouco conhecida. O caso do problema 1196 é visto como um avanço diferente por envolver um desafio complexo que resistia a especialistas.
Outros progressos foram registrados recentemente. Um modelo da OpenAI refutou uma conjectura de Erdős que estava sem solução há quase 80 anos. Em agosto, a empresa anunciou mais dez avanços em problemas matemáticos antigos, com a colaboração de profissionais para a análise e formalização dos resultados.
Para Lichtman, a IA atingiu um estágio em que consegue fornecer intuições e ideias semelhantes às de um colega de confiança. Ele declarou que a ferramenta começou a funcionar como um colaborador para a troca de ideias e recebimento de comentários.
