Comment by cubefox

> They then go on to list several properties that meet their definition

No, these properties are part of his definition. To say that we have nothing to worry about because today's LLMs don't have these properties misses the point.