I do research on programming languages. There are many facts about programming languages that (1) nobody else knows and (2) I have not written down because I just haven’t had the time / opportunity.

The same happens all the time in mathematics.

I think his grain of truth is that human private knowledge is a) not special and AIs can/will do it too, and b) AIs will vastly outstrip human capacity for this type of knowledge.