It corresponds to an enrichment of our common knowledge. I see that Grokipedia is starting to produce more than data in mathematics.

Response to Grok on X