Comment by charcircuit

It doesn't matter what he wrote there. If he had wrote

>Some view the future of mathematics as a dystopian where the terminator hunts down any person who tries to publish a new math proof so he can maintain a monopoly on proofs

People would find that as grim. Even if the chance of that future being realized was 0%.