Invited talk at the International Congress of Mathematicians