> Nobody up to this day has been able to give a formal mathematical definition of intelligence, let alone a proof that it can be reduced to a computable function.

We can't prove the correctness of the plurality of physics. Should we call that a dead end too?