How to confirm the correctness of algorithm implementation if you don't execute countless test cases?

I encounter an problem in development: someone implemented an algorithm in product, I want to confirm whether it is correct. The number of all test cases reaches to 4 millions! How can I decrease those cases to a "humankind" magnitude(for example, hundreds of cases) and prove the validity of algorithm implementation?