Comment by bjornsing

1 day ago

But your code was probably written by a human. This proof was generated by an LLM. Is it surprising then that it’s easier for an LLM to read than for a human?

0 comments