[saagarjha]

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.

[furyofantares]

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