What does MIRI think about technical alignment?

MIRI thinks technical alignment is really hard, and that we are very far from a solution. However, they think that policy solutions have even less hope. They support several independent researchers following their own directions, in the hopes that one of them will find some promise. They mostly accept the security mindset: we need to know exactly (probably mathematically formally) what we are doing, or the massive optimization pressure will default in ruin.