> We might find, for example, that it's impossible to create something we'd consider intelligent that doesn't use Occam's razor. We might one day even be able to prove that.

I have no idea how one would go about proving this but personally I would start with something like the "Principle of Least Action" applied to thought.