Bad news if OpenAI settled the hodge conjecture. Don't need to wait for the announcement to know it's some freaky high dimensional counterexample