I consider wireheading to be a special case of proxy alignment in a mesaoptimiser.
I agree. I’ve now added this line, which I thought I’d put in the original post, but apparently missed out:
Note, though, that the converse is true: every example of wireheading is a Goodhart curse.
I agree. I’ve now added this line, which I thought I’d put in the original post, but apparently missed out: