Hacker News new | ask | show | jobs
by AnimalMuppet 8 hours ago
It has nothing to do with LLMs. One cannot trust the proof of anything if one cannot trust the verifier.