“AI safety via debate” by Geoffrey Irving, Paul Christiano and Dario Amodei