I'm surprised to hear that. LLMs make it practical to prove safety-critical C code correct without the cost that has traditionally made formal verification proh

I'm surprised to hear that. LLMs make it practical to prove safety-critical C code correct without the cost that has traditionally made formal verification prohibitive. If you haven't explored that area, it's worth a look. My experience with C and C++ has also been excellent. I work on very large, high-performance C++ systems used to run airlines and airports, and LLMs have dramatically improved both the quality and the performance of our code. That said, LLMs are tools, and like any tool they take skill to use well. It took me months of experimenting and learning from others to get where I am now.