Stav dette: Important mathematical competences for students in the age of generative artificial intelligence: proof comprehension and evaluation, and ChatGPT