Safety
5h agoMIRI Analyzes FairBot Logic In Prisoner's Dilemma
A theorem of Peano arithmetic defines the FairBot used in the MIRI prisoner's dilemma tournament. This mathematical framework ensures consistent behavior against any opponent. The analysis examines whether a single unique bot exists or if multiple implementations satisfy the theorem.
The Signal
It provides a formal basis for evaluating cooperative AI alignment.