“At XAI, Eric Zeltman worked on pre-training data for Grok 2, the reasoning recipe for Grok 3, and tool use and agentic infrastructure for Grok 4.”