RSA isn't proven.. ;)
ALL asymmetric cryptography has no mathematical proof. The only proof is that nobody has developed a fast way to reverse the one way function. (In the case of RSA, factorization of the public key. In ECC, calculating how many times the A is dotted.)
But yes, it's a lot better than a tripcode. ;D