The mathematicians’ problem is becoming OpenAI’s problem

The mathematicians’ problem is becoming OpenAI’s problem