Just a thought that occurred to me that all of those AI solving impressive stuff is always number theory, algebra, etc. never like, differential equations or whatever. How come? Perhaps for some reason those fields allow more of that "high level pattern matching" level proofs?
edit: i think people are missing my point, the question is: why are the AI proofs most often in pure math vs applied math fields. this is not about math as whole vs all other fields, this is about pure math vs applied math.