Research agenda: Can transformers do system 2 thinking? — LessWrong