Do scientists know of or encountered any specific algorithms that will never be solved or is this just a theoretical concept we have yet to face?