A take on the claim that 'AI can solve math now' · Digg