Proof of the AGT Conjecture at Generic $\beta$
We give an all-level proof of the four-point $SU(2)$ AGT correspondence with four fundamental hypermultiplets at generic $\beta=-\epsilon_1/\epsilon_2$, by proving an all-level factorization formula for Selberg averages of generalized Jack polynomials. Taking a coefficientwise Jack limit of the generalized Macdonald Pi...