A joke about an AI proof of P = NP · Digg