Tekoäly ja lukiomatematiikka