Karlsruhe Rationality Meetup: Thoughts on AI progress — LessWrong