We have AI that can and has produced new mathematics. I don't understand what you think AI is. Machine learning enables computers to make decisions about things without explicit programing, and it is done by learning from data. It is a sort of intelligence, if not to the degree that we want (yet).