I knew the headline wasn't the full story, but that's better what I expected (LLMs with a deterministic verification method before making decisions to prevent hallucinations from causing plane crashes.)