IA desenvolvida na China resolve problema matemático sem intervenção humana | Público | Ciências | Artigos e Notícias

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