I'm waiting for the moment when an LLM will prove a new math theorem or something and people will go: "Well, you know, it's not really that impressive consideri

I'm waiting for the moment when an LLM will prove a new math theorem or something and people will go: "Well, you know, it's not really that impressive considering it used X and Y previous results produced by humans. The model's contribution is tiny. This proof was kind-of low-hanging, a lucky PhD student would have stumbled into it eventually." It's coming.