IA desenvolvida na China resolve problema matemático sem intervenção humana

Uma equipa de investigadores liderada pela Universidade de Pequim desenvolveu um sistema de inteligência artificial (IA) capaz de resolver e verificar um problema matemático em aberto sem intervenção humana relevante.

O modelo conseguiu, em poucas horas, formalizar a solução de uma conjetura apresentada em 2014, através de um sistema de duplo agente que combina raciocínio em linguagem natural e verificação formal, noticiou esta segunda-feira o jornal de Hong Kong South China Morning Post.

O sistema, descrito num artigo preliminar publicado no repositório arXiv, abordou um problema de álgebra comutativa proposto pelo matemático norte-americano Dan Anderson e concluiu a verificação em cerca de 80 horas de execução.