OpenAI reportedly retracts a result on the Hodge conjecture · Digg