Math and AI