Theoretical Innovations in AI