O avanço da inteligência artificial no campo da matemática tem gerado surpresas e descobertas notáveis. Recentemente, um problema matemático complexo, conhecido como o problema 1196 de Erdős, foi solucionado por meio de uma ferramenta de IA, deixando especialistas impressionados e reabrindo discussões sobre o potencial colaborativo entre humanos e máquinas na ciência.
Por séculos, a matemática tem sido palco de desafios intelectuais que demandam anos, e por vezes vidas inteiras, de dedicação de mentes brilhantes. Problemas de grande complexidade, como o Último Teorema de Fermat ou a Hipótese de Riemann, tornaram-se marcos na história da disciplina, impulsionando o desenvolvimento de novas teorias e ferramentas. No dia 13 de março deste ano, um desses enigmas de longa data, o problema 1196 de Erdős, encontrou uma solução inesperada: uma inteligência artificial.
O matemático Jared Duker Lichtman, da Universidade Stanford, que dedicou sete anos de sua carreira ao problema 1196, expressou seu espanto e admiração. Após analisar o resultado gerado pela IA, Lichtman confirmou a correção e a originalidade da abordagem. A solução surgiu após um entusiasta da matemática inserir um único comando em uma ferramenta de IA, demonstrando como a tecnologia pode democratizar o acesso e a resolução de problemas complexos.
Um legado de desafios: Os Problemas de Erdős
A coleção de problemas de Erdős leva o nome do prolífico e carismático matemático húngaro Paul Erdős (1913-1996). Conhecido por seu estilo de vida nômade e sua dedicação à colaboração matemática, Erdős formulou mais de 1.200 problemas ao longo de sua carreira, muitos dos quais continuam a desafiar os matemáticos até hoje. O problema 1196, especificamente, está relacionado à teoria dos conjuntos primitivos, onde nenhum elemento de um conjunto pode ser divisível por outro elemento do mesmo conjunto.
Lichtman, fascinado pela conjectura de Erdős sobre conjuntos primitivos, dedicou quatro anos para resolver o problema 164 de Erdős, que se tornou a base de sua tese de doutorado. Paralelamente, ele vinha explorando o problema 1196, formulando a questão: “O que acontece se todos os números de um conjunto primitivo forem maiores que X e quisermos entender como sua pontuação pode crescer à medida que X tende ao infinito?”. Foram mais três anos de reflexão e trabalho até a intervenção da IA.
A intervenção da IA e o futuro da colaboração
A solução para o problema 1196 veio de Liam Price, um britânico de 23 anos sem formação universitária em matemática. Price utilizou um modelo de IA da OpenAI, o GPT-5.4 Pro, alimentando-o com um prompt cuidadosamente elaborado. Após cerca de 80 minutos de processamento, a IA apresentou uma solução que, após ser verificada por outra versão do mesmo modelo, foi considerada correta em sua essência. Price então compartilhou o resultado com Lichtman, dando início a uma nova fase na compreensão do problema.
Embora a IA já tenha contribuído para a solução de dezenas de outros problemas de Erdős, muitos deles de menor complexidade, o caso do problema 1196 se destaca pela profundidade e pela nova abordagem que o modelo de IA propôs. Essa nova metodologia não apenas resolveu o problema 1196, mas também abriu caminhos para abordar outras questões correlatas.
Lichtman vê o avanço da IA não como uma substituição, mas como uma ferramenta de colaboração. Assim como não se questiona a origem da solução quando outro matemático a encontra, o importante é o acesso ao conhecimento. A IA, nesse contexto, atua como um parceiro de pesquisa, capaz de gerar ideias e intuições que, quando analisadas por especialistas humanos, podem levar a descobertas significativas. Essa colaboração já resultou em outros avanços, como a refutação de uma conjectura de Erdős que permanecia sem solução há quase 80 anos, e a resolução de dez outros problemas matemáticos de longa data, anunciados recentemente pela OpenAI.
As informações foram reunidas a partir de dados divulgados pela BBC Radio 4.
