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 ...