You mean specifically that an LLM solved it? Otherwise Deepmind’s work will give you many examples. (Although there’ve been surprisingly little breakthroughs in math yet)
Yes, I meant an LLM in the context of a user that fed in a query of his or her problem and got a novel solution back. There is always debatable what a “real” or “hard” problem is, but as a lower bound I mean something that people here at LW would raise an eyebrow or two if the LLM solved. Otherwise there are as you mention plenty of stuff/problems that “custom” AI/machine learning models have solved for a long time.
You mean specifically that an LLM solved it? Otherwise Deepmind’s work will give you many examples. (Although there’ve been surprisingly little breakthroughs in math yet)
Yes, I meant an LLM in the context of a user that fed in a query of his or her problem and got a novel solution back. There is always debatable what a “real” or “hard” problem is, but as a lower bound I mean something that people here at LW would raise an eyebrow or two if the LLM solved. Otherwise there are as you mention plenty of stuff/problems that “custom” AI/machine learning models have solved for a long time.