Formally verified code exists. An LLM isn't a magic reality benders. It can't exploit holes that don't exist.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Formally verified code exists. An LLM isn't a magic reality benders. It can't exploit holes that don't exist.