Hallucinations are more or less a solved problem for me ever since I made a simple harness to have Codex/Claude check its work by using static typechecking.
But there aren’t very many domains where this type of verification is even possible.
But there aren’t very many domains where this type of verification is even possible.