AI in der Mathematik wirft große Fragen auf