Well that already exists, Grovers algorithm is provably faster than any classical algorithm.