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.
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.
(Informações R7)
