Comment by orcasushi

I know a PHD in math that claims math is invented by ourselves and not any universal true. So well, depends who you ask. Also some of these programming utilities may outlive some math proof. Time will tell