Recent progress on the Jacobian conjecture