Mentioned as an example of reasoning tasks that can be very hard to train in neural networks.
Lex Fridman