Comment by kettlecorn

If you pair LLMs/AIs like Claude with a formal verification framework you essentially have a new sort of compiler.