The optimistic view of AI in mathematics is that it will handle "grunt work," freeing up mathematicians for more meaningful tasks