Recent progress on semi-linear wave equations on $\mathbb{R}^{3+1}$