Gal worked out the foundations of Bayesian uncertainty in deep neural networks while that was still a small literature, and has spent the past few years pointing the same instrument at LLMs. His 2024 Nature paper on semantic-entropy hallucination detection is the throughline made concrete: a fluent answer and a true one are different things, and the gap is something you can measure from the outside rather than ask the model to self-report. The method does not require labeled ground truth or access to model internals, which is the only kind of method that actually applies to a closed commercial LLM.