[R] Performing Complex Arithmetic with Transformer

What are your thoughts on the topic? How likely do you think that a neural network model will eventually learn to reason and prove theorems like humans? The success of AlphaZero shows that it's possible for artificial neural network based agents to derive their own knowledge from a simple set of rules. However, they suffer from challenges in reinforcement learning: they are not very sample-efficient, and an RL agent that is capable of understanding mathematics has yet to be seen. After looking around many papers I think that there exists a general lack of ability to understand logic in ML models.