Very little; to be honest. But the convergence has happened from both sides over the last 150 years or so. Much of theoretical mathematics could probably land in the philosophy camp, but there's no clear delineation even from university to university. In some schools, symbolic logic is considered philosophy, in others it's mathematics, and in others it's computer science.