Roko comments on Returning to ARC

[Roko]

that explaining an interesting computational phenomena is not too much harder than the difficulty of finding it in the first place.

Sounds like a bet on P=NP

I am pretty confident that this will fail

[paulfchristiano]

It might well fail, but it isn’t really related to P=NP.