DeepSeek-R1 is an amazing reasoning LLM, but it seems to hallucinate more than we might expect.