It is so disappointing that we can't have such a monumental moment in history without the controversy. OpenAI leadership clearly doesn't seem to care too much about ethics. Is it a requirement to completely lack integrity to have a ground breaking company?

The reality is clear though. The chances of AI models overtaking majority of mathematics within next 10 years is becoming very high. Especially if it becomes cheaper to run these models.

As math formalizations improve, AI can have faster progress in math, compared to even computer science or software engineering.

It is simultaneously the best and the worst time to be a mathematician right now.