1 problem

Kanai's conjecture. If the distribution $\mathbb{H}$ is $\mathcal{C}^1$, then $(M,g)$ is locally symmetric.