Yes, the latter is exactly the open question. It's one that has had us stumped for decades and on which barely any progress has been made. There are simple exam

Yes, the latter is exactly the open question. It's one that has had us stumped for decades and on which barely any progress has been made. There are simple examples of purely mathematical problems that we can't seem to teach computers how to solve, even though they are trivial for humans. Of course it's entirely possible we will find a way to teach machines how to solve them. It would be even more interesting if some AI developed the ability to solve them and could subsequently explain how it does it.