The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, uses number ...

It's a well-known fact that quantum calculations are difficult, but one would think that quantum computers would facilitate the process. In most cases, this is true.