I would not be surprised if an LLM could have generated this conjecture, since it's such a natural extension of the integers, does it hold for surreal integers is not a big leap. It's totally predictable / probabilistic and thats what they do at a high level.

My read on the current sitch is that the drama is more around the humans behind the LLMs, like the OpenAi *people*, who are dishonest, thieving, technocrats, stealing human mathematicians work and claiming credit for it. Since the LLMs are only trained on finite amounts of data on the internet I don't think anyone expects them to replace mathematicians in a serious way. But surely the field is changing dramatically, people will adapt.