Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.

I do not think it is a given that humans or algorithms can find such a proof for any given problem.