Um sistema de inteligência artificial (IA) desenvolvido por pesquisadores da Universidade de Pequim solucionou uma conjectura matemática proposta em 2014 pelo matemático norte-americano Dan Anderson, conforme informou o South China Morning Post.

O modelo, baseado em um framework de dois agentes, analisou décadas de literatura matemática, combinou raciocínio em linguagem natural com verificação formal e não apenas solucionou o problema, como também validou seus próprios resultados.

A verificação formal gerada pelo sistema conta com aproximadamente 19 mil linhas de código escritas em Lean, uma linguagem e verificador de teoremas projetada para garantir a precisão matemática.

De acordo com os pesquisadores, o sistema é capaz de superar humanos em tarefas matemáticas complexas, sinalizando um futuro em que grande parte da pesquisa matemática poderá ser automatizada.

Por Sputnik Brasil