I would really like to see an AI invent a new set of (consistent) axioms from which a whole slew of new problems and solutions arise. Something akin to Euclidean geometry, but for a whole new landscape of theorems.