OpenAI's $22.5M math proof faces plagiarism, threat claims