AI prediction case study 4: Kurzweil's spiritual machines — LessWrong