Ai mathematician