The level of detail in the paper he’s publishing is making me doubt that - but maybe he used an LLM to make the joke go a little further?