AVERI's Miles Brundage posts a joke arithmetic query to Grok, drawing a cryptic reply from a researcher · Digg