interesting, i haven't heard anything about that. i don't know much about the hodge conjecture, all i really know is that it's incredibly abstract and obtuse - not sure if that has any implication for solvability by an AI though. do you have any source for the hodge rumor? curious to learn more
So far it's just anonymous accounts on X and Reddit during the past few days, no "official leak" or anything like that. But the rumors about Navier-Stokes being solved started the same way. If somebody really solved it, the incentive is to come forward soon before being scooped by another team. We'll see.