OpenAI announced a solution to a ‘millennium problem’; a mathematician suspects the use of his work: What is known about this?