Was kann KI für Mathematik tun und was Mathematik für KI? 🎙️