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.