[LSFF] Artificiell Intelligens i matematiken