Benya comments on An angle of attack on Open Problem #1

[Benya]

I’ve started wondering whether this may be closely related to Wei Dai’s quining approach; posted some preliminary thoughts here.