OpenAI’s feud with mathematicians is only escalating