Long-Sought Proof Tames Some of Math's Unruliest Equations | Hacker News Reader