Math Retraction Shakes Hodge Conjecture

🔥 What happened A sign error in a proof about Weil classes on abelian eightfolds forced the retraction of three manuscripts, including work on the Hodge conjecture for K3 products. The papers now carry retraction notices. 💡 Why it matters The Hodge conjecture is a Millennium Prize problem. A single sign error toppled three results—a red flag for formal verification in pure math. Only 42% of top-line results are formalized. ⚡ Our take Embarrassing for the authors, but a win for credibility: better late retraction than false theorems. Formal proofs are no longer a luxury.