This paper on verifiable advantage is a lot more compelling. With Scott Aaronson and Quantinuum among other great researchers