Its plausible. Its just that the effort will be huge. LLMs can do a lot of stuff because they've ingested all of our published text. But, unless we're extremely lucky, there's just not enough data out there to solve this problem yet.
Maybe like with problems in maths: they've solved 700+ open conjectures, but how many did they try? Are the ones that they solved merely those that they put $10M effort into where humans just gave up because there wasn't any concrete benefit in putting in that sort of effort?
Maybe like with problems in maths: they've solved 700+ open conjectures, but how many did they try? Are the ones that they solved merely those that they put $10M effort into where humans just gave up because there wasn't any concrete benefit in putting in that sort of effort?