Let $A \in \mathbb{R}^{n \times m}$, $b \in \mathbb{R}^n$. Suppose $m \ll n$. How to solve the linear system $AA^\top x = b$ efficiently?