This is really a theoretical problem and not a practical one though. Practically, for everything I use these tools for today (complex low-level systems programming), hallucinations don’t even exist anymore.

When they don’t know something, they figure it out empirically. For things they already know, they are consistently correct.