Polymath 3: Polynomial Hirsch Conjecture | Dark Hacker News