As AI works steadily through the already discovered unsolved problems in mathematics, who is currently discovering new ones?