Vladimir_Nesov comments on AI cooperation in practice

[Vladimir_Nesov]

I’ve looked at the argument, and it seems to me that Tim Tyler is right, the first case depends on the implementation of “proves (code, maxsteps).”

I replied here.

[Unknowns]

I changed my mind anyway.