Comment by alain94040

No. Silicon is on another level. Which is why the EDA verification is an industry on its own.

Sure, there are some software that have similar "can't have bugs" requirements. I imagine the computers on Moon missions also had that kind of high bar. I wouldn't use NASA requirements as a proof for how LLMs should be used.