Rafael Sobral, inteligência artificial