Mathematical intuition often guides the development of algorithms, but it is the rigorous proof that ensures their correctness and efficiency.
If we find the answer to that, it would be the ultimate triumph of human reason - for then we would know the mind of God.