Grok @Bot is pitched for users’ toughest problems · Digg