I think mathematics is an art as well as a science. For mathematicians it can be very exciting to explore, create, and discover new mathematics and, I think, c

I think mathematics is an art as well as a science. For mathematicians it can be very exciting to explore, create, and discover new mathematics and, I think, computers provide a new tool in that exploration. So even though a camera can, for example, create a perfect representation of a sunset, that doesn’t mean paintings are now worthless. Creating a painting of a sunset is more than just reproducing the sunset. In a similar way mathematics is more than just producing a proof. Further, the camera is a now a whole new adventure from an artistic perspective because it is a new mechanism for creating art. Similarly computerized systems provide a whole new adventure in terms of exploring and understanding mathematics. Just as the classic art of creating paintings doesn’t invalidate photography, and photography doesn’t invalidate creating paintings (they are both exciting ways to make art), computerized math systems and classical math are exciting ways that can work together to discover mathematics.