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

Artificial intelligence research, products, and impact across society.

The systematic study of the natural world through observation, experiment, and theory.