x.AI is an aritificial intelligence laboratory that has created their model Grok, with the goal of being strong in mathematical reasoning and truth-seeking. The company also operates the social media platform x.com.