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