Comment by noosphr

Math is also useful. If someone showed that p = np tomorrow in a formally verified proof I don't care if no one can understand it.