ai in mathematics