We are in the future

"

Ocylix wrote:

Humans Need Not Apply

Videos like CGPGrey's always bring up an interesting philosophical question.

There are limits on what a computer is actually capable of computing.
There are limits with actually proving a mathematical system to be correct.
But does that actually mean computers can't program themselves better than we can?