Long-Sought Proof Tames Some of Math's Unruliest Equations from Hacker News on 2026-02-09 14:36 (#73EG2) Comments