Infrahuman, par-human, superhuman, efficient, optimal - History — AI Alignment Forum