The source code verifier for friendliness is basically the weakest possible thing a friendliness researcher could hope for.
This is a good observation—I think the article would be stronger if you added it to the intro paragraph. As it is, I was a bit amused when reading it when you say “this creates a problem”, and then mention the problem of the box, while the problem of the verifier seems immensely harder...
This is a good observation—I think the article would be stronger if you added it to the intro paragraph. As it is, I was a bit amused when reading it when you say “this creates a problem”, and then mention the problem of the box, while the problem of the verifier seems immensely harder...