Conformal invariance of spin correlations in~the~planar Ising model

We rigorously prove the existence and the conformal invariance of scaling limits of the magnetization and multi-point spin correlations in the critical Ising model on arbitrary simply connected planar domains. This solves a number of conjectures coming from the physical and the mathematical literature. The proof relies on convergence results for discrete holomorphic spinor observables and probabilistic techniques.