I think it's likely that AI will create mathematical ideas that are so complicated and intricate that humans have no hope of ever understanding them. AI on the other hand will understand them, and understand them well enough to use them productively and safely. That is my prediction.