There are things which are provably impossible. No amount of future cleverness will change that. It is, for example, impossible to find three nonzero positive integers A, B and C for which the cube of A plus the cube of B equals the cube of C.