3 ms·
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 ha
by baq 3y ago
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.
- jgalt212 3y ago> 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/ https://hypothesis.readthedocs.io/en/latest/