Recent Advances on Hilbert's Sixth Problem