AI has already made mathematics better in the sense that it has greatly advanced what we know to be true (theorems).
The only way that it hasn't made mathematics better is in the sense of human mathematicians' career prospects -- and in this respect, it is identical to other forms of automation that the world, and especially computer programmers like us, have participated in in the past without complaint.
The only way that it hasn't made mathematics better is in the sense of human mathematicians' career prospects -- and in this respect, it is identical to other forms of automation that the world, and especially computer programmers like us, have participated in in the past without complaint.