OpenAI's biggest math breakthrough is getting ugly...