[math-fun] Hodge conjecture