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

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 hoje o jornal de Hong Kong South China Morning Post.

Go to News Site