Mathematics is a creative endeavor, just like art or music.
The process of verification is as important as the process of creation in computer science.