> Does mathematics still have a practical impact without humans in the loop?

There's a single answer to that question: yes, math very much has an impact without humans in the loop.

Math has a lot of applications, and those applications don't care whether eg the new faster matrix multiplication algorithm was found and proven correct by a machine or a meatbag.