First proof of quantum computer advantage