cousin_it comments on AI cooperation is already studied in academia as "program equilibrium" - Less Wrong

35 Post author: cousin_it 30 July 2012 03:22PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (42)

You are viewing a single comment's thread. Show more comments above.

Comment author: cousin_it 30 July 2012 09:29:26PM *  2 points [-]

If D is the proof length, surely your reasoning should lead to something like log(T*N) rather than log(T)*N? It seems to me that N people working for T days is T*N person-days, so the two variables should be mostly exchangeable, it's weird to see only one of them under the logarithm...