Someone downvoted the question above. What the hell? (My guess: it's VoiceOfRa doing his downvote-the-enemy thing again.)
To the actual question: first of all, I think it's entirely possible that we have additional layers (sys1 means "fast heuristic", sys2 means "slow deliberate reasoning"; we surely have a big bag of heuristics, and I bet there are cases where we have extra-fast heuristics, fastish heuristics, and slow deliberate reasoning); and it seems like one could envisage an AI with (1) nothing like sys1 at all because its "proper" reasoning is cheap enough to be used all the time, (2) a human-like bag of heuristics that get used when circumstances allow, producing much the same distinction as we have, (3) smoothly varying how-much-approximation knobs that adjust according to how valuable quicker answers are, interpolating continuously between "system 1" and "system 2", and probably (4) all sorts of other things I haven't thought of.
The sort of provably-safe AI that MIRI would like to see would presumably either be in category 1, or be designed so that in some sense sufficiently consequential decisions always get made "properly". The latter seems like it would be hard to reason about. (Er, or it might be in category 4 in which case by definition I have nothing to say about it.)
Is retributive downvoting on other forums, or is it just a LW thing? Do we have more retributive downvoting than other sites? Can anyone think of some relationship between rationality and vindication? I feel like if anything we should be above that and have far less...
This thread is for asking any questions that might seem obvious, tangential, silly or what-have-you. Don't be shy, everyone has holes in their knowledge, though the fewer and the smaller we can make them, the better.
Please be respectful of other people's admitting ignorance and don't mock them for it, as they're doing a noble thing.
To any future monthly posters of SQ threads, please remember to add the "stupid_questions" tag.