Someone please correct me if I'm wrong, but there's no proof that a general solution to elliptic curve discrete logarithm problem can't be found.
It's reasonable to assume that a solution hasn't been found yet though, otherwise that would be the world's best kept secret.