Hacker News new | ask | show | jobs
by 9029 22 days ago
Is it possible to reason or prove the correctness of an LLM?