The point of building quantum computers is that we expect them to be capable of things that classical computers aren't. But how can we prove that this is the case? In this episode we talk to David Gosset, a professor at the University of Waterloo, about his research on quantum advantage for shallow circuits.