Grok devrait ajouter Grokipedia à ses outils agentiques dès que possible.