Um problema matemático que permaneceu sem solução por anos foi resolvido com a ajuda de inteligência artificial (IA), em um episódio que surpreendeu pesquisadores e reacendeu o debate sobre o papel da tecnologia na produção de conhecimento científico.
A solução foi apresentada em 13 de abril deste ano para o chamado problema 1196 de Erdős, uma questão que vinha desafiando matemáticos e entusiastas da área. Durante décadas, pesquisadores estudaram o problema, trocaram ideias e publicaram trabalhos na tentativa de encontrar uma resposta.
Para alguns especialistas, resolver questões desse nível pode representar anos — ou até uma vida inteira — de pesquisa.
Matemático trabalhava havia sete anos no problema
Um dos pesquisadores que se dedicava ao problema era Jared Duker Lichtman, matemático da Universidade Stanford, nos Estados Unidos. Ele trabalhava na questão havia sete anos quando uma ferramenta de IA apresentou uma solução.
Segundo Lichtman, bastou cerca de uma hora analisando e verificando o resultado produzido pelo sistema para perceber que a resposta estava correta.
“Depois de talvez uma hora lendo e conferindo o resultado bruto produzido pela IA, ficou muito claro para mim que estava correto e que a ideia era muito boa”, afirmou o matemático.
O resultado teria sido obtido depois que um entusiasta da matemática inseriu um único prompt em uma ferramenta de inteligência artificial.
O que é o problema de Erdős?
O problema faz parte de uma extensa coleção de questões propostas pelo matemático húngaro Paul Erdős, um dos mais produtivos e influentes matemáticos do século 20.
Erdős ficou conhecido por apresentar centenas de problemas matemáticos, muitos deles oferecendo recompensas simbólicas ou financeiras para quem encontrasse uma solução.
O problema 1196 integra esse conjunto de desafios e havia resistido às tentativas de pesquisadores especializados.
O que muda com a IA?
A resolução levanta uma questão que vai além do problema específico: até que ponto uma inteligência artificial pode contribuir para produzir novas descobertas matemáticas?
Tradicionalmente, pesquisadores desenvolvem uma ideia, testam hipóteses, constroem uma demonstração e submetem os resultados à avaliação de outros especialistas. Nesse caso, porém, a IA foi capaz de apresentar uma abordagem que chamou a atenção de um matemático que estudava o problema havia anos.
Isso não significa, necessariamente, que a máquina tenha substituído o trabalho dos matemáticos. A verificação humana continua sendo fundamental para determinar se uma solução está correta, se os argumentos são válidos e se não existem falhas na demonstração.
O episódio, no entanto, mostra que sistemas de IA podem começar a atuar não apenas como ferramentas para acelerar cálculos, mas também como instrumentos capazes de sugerir novas ideias e caminhos para problemas matemáticos considerados extremamente difíceis.
E, no mundo da matemática, uma solução pode ser tão importante quanto o caminho inesperado usado para chegar até ela.
