do you know how to formulate/​formalize a version of LDT so that we can mathematically derive the game outcomes that you suggest here?
I recall Eliezer saying this was an open problem, at a party about a year ago.
I recall Eliezer saying this was an open problem, at a party about a year ago.