Compilers are sound abstractions. CompCert is literally a proven compiler.

LLMs make up whatever they feel like and are pretty bad at architecture as well.