Safety
16d 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 definition ensures the bot maintains consistent behavior against any opponent. The analysis focuses on whether this logic creates a unique identity or multiple functional equivalents.
The Signal
Researchers use this to test formal verification in strategic AI interactions.