I think it’s all about the harness. If someone can find a way to create an iterative loop, with a good validator, I wouldn’t be too surprised if an LLM can end up with a solution. So far that’s how pretty much all problems have been solved by LLMs. That’s a very big if though!