How dare the billionaire math professors profit off theorem proving! The poor altruistic AI companies like OpenAI will unleash math understanding and theorems

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!