I do wonder if perhaps LLMs take credit from some mathematicians working in obscurity in some dark corner of the web, it’s not unheard of for some to be reclusive. Perhaps someone completely unaware that they might have sovled something someone else considers important.