Доказано ли, что квантовые вычисления не лучше в решении полных задач NP, чем классические вычисления?

Доказано ли, что квантовые вычисления не лучше в решении полных задач NP, чем классические вычисления, или в это просто верят?

Предполагается, что NP-полные задачи не могут быть решены за квантовое полиномиальное время (т. Е. Они не входят в BQP), но это не было доказано. Мы не ожидаем доказательства в ближайшем будущем, поскольку это будет означать, что P отличается от NP.