John Carmack renuncia como CTO da Oculus para trabalhar na IA