[0] In the sense of "valid under these known precepts", not "speculative".
[1] Non "Friendly AI", not "non-Friendly" AI.
When I say it feels like we spend a lot of time red teaming, that means I think we spend somewhere between 30 and 60% of research time trying to break things and see how they fail. This is fully compatible with not immediately implementing things - it's much less expensive to break something /before/ you build it.
Theoretical stuff is like: proving theorems, conceptualizing the task at hand, philosophical inquiry into the nature of agents/intelligence/reasoning/goals/human values
I'm not trying to argue which is more important, but surely MIRI focuses more on the theoretical.