AI for mathematics