Not quite: whether integer factorization is faster on a classical or quantum computer is up to debate iirc. They said, there _are_ algorithms that are provably

Not quite: whether integer factorization is faster on a classical or quantum computer is up to debate iirc. They said, there _are_ algorithms that are provably faster on quantum computers, such as a random walk on a glued tree.