Long-Sought Proof Tames Some of Math’s Unruliest Equations | Quanta Magazine — Blankdot