I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
We are all prisoners of our own experiences, and the key to freedom lies in understanding them.