There are many competing proposals to test for quantum supremacy: Boson Sampling, Fourier Sampling, IQP, Random Circuit Sampling. The computation needs to meet certain requirements. Worst case hardness, average case hardness, anti-concentration. Also there needs to be a way to test to see if the output of the computation is correct. This is easier said than done. RCS is the only one that meets all three and can be verified.
What's happening here is a test of RCS: A general quantum gates are being programmed to generate a random circuit. Think about randomly connecting some components on a breadboard and then simulating what would happen. Except this is done programmatically. The question is to then predict the output with a classical computer. This can't be done easily.
For a deeper dive into RCS, see this paper: https://arxiv.org/pdf/1803.04402.pdf
>> In this paper we study both the hardness and verification of RCS. While RCS was defined with experimental realization in mind, we show complexity theoretic evidence of hardness that is on par with the strongest theoretical proposals for supremacy. Specifically, we show that RCS satisfies an average-case hardness condition – computing output probabilities of typical quantum circuits is as hard as computing them in the worst-case, and therefore #P-hard. Our reduction exploits the polynomial structure in the output amplitudes of random quantum circuits, enabled by the Feynman path integral. In addition, it follows from known results that RCS satisfies an anti-concentration property, making it the first supremacy proposal with both average-case hardness and anti-concentration.