Still not grokking this. Didn’t they use a small qbit machine to break a “toy cipher” just to prove that Grover’s algorithm can work in a practical sense?
Unfortunately details are extremely difficult to get concrete info on, but I would value practical use over theoretical analysis every day of the week.
Example: The Byzantine General’s problem also isn’t solvable “mathematically,” and Bitcoin didn’t actually solve it. Instead it got around it by creating a massive asymmetrical economic incentive FOR being honest and AGAINST attacking it. So it has a probabilistic safeguard against the impossible problem, rather than a solution.
Or in other words, theoretically it’s unsolvable, but practically it’s been solved.