AI is solving mathematics problems (that nobody - including mathematicians - wanted it to solve)

This is an indictment of mathematicians, not AI.