Forcing axioms and the continuum problem: Hilbert's first problem revisited

The continuum problem has recently seen a revival, brought about by advances involving strong forcing axioms and other natural principles extending the standard axiomatization for set theory. In this article we survey these developments. This is a slightly edited version of the slides of our ICM talk.