Sure I just have a bad taste in my mouth after those researchers were working on one of the millennium problems for a while, had used ChatGPT for assistance and then OpenAI claimed they had solved it.