IA chinesa resolve sozinha problema matemático aberto há uma década

Um framework de inteligência artificial (IA) desenvolvido por uma equipe liderada pela Universidade de Pequim, na China, resolveu de forma autônoma um problema matemático em aberto proposto há mais de uma década por um professor americano, informou imprensa chinesa nesta segunda-feira (13), citando um artigo dos pesquisadores publicado no repositório arXiv.

Inteligência artificial elimina 16 mil empregos por mês nos EUA, aponta estudo

O problema, uma conjectura de álgebra comutativa, foi formulado em 2014 por Dan Anderson, ex-professor da Universidade de Iowa, que faleceu em 2022.

A IA não apenas encontrou a prova para a conjectura, mas também formalizou a demonstração matematicamente, um processo que exigiria grande esforço humano para a verificação.

"Usando este framework, resolvemos com sucesso um problema em aberto em álgebra comutativa e automaticamente formalizamos a prova sem essencialmente nenhuma intervenção humana", afirmaram os pesquisadores.

Autores também destacaram a capacidade de realizar tarefas que normalmente exigiriam a colaboração entre especialistas de diferentes subáreas e em um tempo muito menor.