From the paper: // "Nobody is going to run 100 meters in five seconds, no matter how much is invested in training and machines. The same can be said about using the brain. The human mind is no different now from what it was five thousand years ago. And when it comes to mathematics, you must realize that this is the human mind at an extreme limit of its capacity." //

Previously on HN:

Shannon Got AI This Far. Kolmogorov Shows Where It Stops

https://medium.com/@vishalmisra/shannon-got-ai-this-far-kolm...

...Therefore abstraction and formal methods.