It would be good if someone made a list of allresults obtained with AI so far just to see what kinds of problems AI excels at. Are there any that aren't of the existence-proof type?

Reductively, math can be said to be either problem solving or theory building - it seems the latter is a much harder thing to do right now.