I hope it will not be long before we have a machine that will be able to solve all mathematical problems.