would be mind blowing if an AI proof of Hodge is a general theory explaining why all Hodge classes are algebraic
possibly requiring a deep new bridge between topology/Hodge theory and algebraic geometry
and not just 10000 agents finding the one counterexample breaking Hodge
Holy, rumors are spreading everywhere that OpenAI is close to verifying a proof of the Hodge conjecture, while either OpenAI or Anthropic may be nearing a solut...