353-combinatorial curvature and the $3$-dimensional $K(\pi ,1)$ conjecture

We prove the $K(\pi ,1)$ conjecture for Artin groups of dimension $3$. As an ingredient, we introduce a new form of combinatorial non-positive curvature.