How dare the billionaire math professors profit off theorem proving!

The poor altruistic AI companies like OpenAI will unleash math understanding and theorems for free for humanity!