neverix comments on Inference from a Mathematical Description of an Existing Alignment Research: a proposal for an outer alignment research program

[neverix]

We can idealize the outer alignment solution as a logical inductor.

Why outer?

[Christopher King]

Oh, I think that was a typo. I changed it to inner alignment.