Hotnews
⁄
4
lesswrong
lesswrong
6h ago
0°
Is there only one FairBot?
The FairBot from the MIRI prisoner's dilemma tournament is defined by a theorem of Peano arithmetic (PA) that holds for each opponent:
1
2
3
4