Ciência e Tecnologia há 5 meses Inteligência artificial resolve problemas matemáticos de alto nível anteriormente abertos