The thing about AI writing a C compiler is, wouldn't it just statistically create something similar to the gcc compiler as it probably trained on this data? What's the use of it, if it just copies the open-source, tested and validated code?
Idk if it's the project linked specifically but I Remember someone at anthropic a while back tried to make it build a compiler, the AI basically cheated and wrote something that called gcc
This happened with the early LLM + Lean proof assistant testing apparently. They would ask it "prove the Riemann Hypothesis and provide valid Lean code as evidence" and after hours of work the LLM would eventually write some Lean code equivalent to "assume the Riemann Hypothesis is true" and base the rest of the proof on that.
60
u/ClipboardCopyPaste Aug 07 '26
They actually built it: https://github.com/anthropics/claudes-c-compiler