Richard Willis

In open-source game theory there are two standard approaches: simulate what the opponent will play against you (Robust program equilibrium, Oesterheld 2019), or prove it (Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic, Barasz et al. 2014). Proving the behaviour of an arbitrary program is very challenging,...

Hey everyone, @Zane is organising an AI debate around a chess, to test how easy it is for an entity with better understanding to fool one with a lesser understanding. Check out these two threads: Lying to chess players for alignment Deception Chess: Game #1 I thought I would open...