Certainly his use of LLM was stupidly egregious, but he found that even by those standards the math results underpinning the LLM were way off.