Hacker News new | ask | show | jobs
by saagarjha 1164 days ago
I have bad news to tell you about our ability to verify if a program matches a description of what it does on all inputs.
1 comments

Regardless of whether you wrote it or an LLM did, yeah.