Inteligência artificial chinesa resolve problema matemático não solucionado por uma década em poucas horas

Um sistema de inteligência artificial desenvolvido por pesquisadores da Universidade de Pequim, na China, conseguiu resolver, sem intervenção humana significativa, um problema matemático em aberto há mais de uma década. O feito foi descrito em um estudo publicado em formato de preprint no repositório arXiv.

O desafio havia sido proposto em 2014 pelo matemático americano Dan Anderson, ex-professor da Universidade de Iowa, que morreu em 2022. A questão, ligada à área de álgebra comutativa, permaneceu sem solução até ser abordada pelo novo modelo.

De acordo com os pesquisadores, o sistema utilizou um framework de dois agentes para chegar à resposta. A tecnologia combina raciocínio em linguagem natural com verificação formal, permitindo não apenas encontrar uma solução, mas também validá-la de forma automática.

O primeiro agente é responsável por explorar estratégias e construir possíveis provas matemáticas. Já o segundo traduz essas soluções para uma linguagem rigorosa, capaz de ser verificada por máquinas, garantindo consistência lógica.

Segundo o estudo, o sistema conseguiu sintetizar décadas de literatura matemática para resolver o problema e formalizar a prova praticamente sem ajuda humana. A única intervenção ocorreu no fornecimento de documentos restritos, sem necessidade de julgamento matemático.

Os pesquisadores afirmam que o modelo foi capaz de executar tarefas matemáticas mais rapidamente do que especialistas humanos. Em alguns casos, a tecnologia realizou de forma independente atividades que normalmente exigiriam colaboração entre diferentes áreas do conhecimento.

O processo completo de verificação levou cerca de 80 horas de computação. Ainda assim, os cientistas destacam que a formalização da solução ocorreu em poucas horas, o que evidencia a eficiência do sistema.

O trabalho ainda não passou por revisão por pares, etapa comum na validação científica. Mesmo assim, os autores consideram o resultado um exemplo concreto de como a pesquisa matemática pode ser automatizada com o uso de inteligência artificial.

Apesar do avanço, os próprios pesquisadores reconhecem desafios. Provas matemáticas exigem rigor absoluto, e sistemas baseados em modelos de linguagem ainda podem apresentar falhas ou inconsistências.

Fique por dentro das principais notícias do dia no Brasil e no mundo. Siga o canal do R7, o portal de notícias da Record, no WhatsApp