OpenAI is at odds with some mathematicians over the solution and the credit to a major problem.