I agree. I think there will be lots of hard problems where an LLM is unlikely to be successful for quite a while. For high surety software like encryption or numerical software I think this is especially the case. Sure, you can have an LLM create a draft still, but you’ll need a lot of skill to refine it into something correct and trustworthy.