Building a crypto system has so many footguns, I'd be amazed if it could build one that stands up to attack

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!