That does make it clearer why I’m a 0-boxer and uninterested by it, and suggests I should refrain from approaching it on a level as intense as Eliezer’s paper until I am interested in formality, as a correct one-page explanation is unlikely to be formal and the reason the problem is interesting is in its formality.
That does make it clearer why I’m a 0-boxer and uninterested by it, and suggests I should refrain from approaching it on a level as intense as Eliezer’s paper until I am interested in formality, as a correct one-page explanation is unlikely to be formal and the reason the problem is interesting is in its formality.