"C executables" are most of the frontier of exploit development, which is why this is a meaningful model problem.

Can we fight fire with fire, and use LLMs to rewrite all the C in Rust?