The Venn diagram of "useful" and "not possible on a classical computer" has demonstrations on both disjoint ends but is currently empty in the intersection. For now. I fully sympathize with the hype-fatigue though.

What about Schor’s algorithm?