Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

As long as P != NP, verification should be much easier than producing a solution.

Or, from a different angle - all models are wrong, some are useful.

As it happens, LLMs are useful even if they're sometimes wrong.



> As long as P != NP, verification should be much easier than producing a solution.

Perhaps so. I guess it depends on how long it takes to code up property-based tests.

https://hypothesis.readthedocs.io/en/latest/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: