Thread

Tweet 1

One reason there being no human readable proof of the four color theorem is so infuriating is we've had human proofs for the analogous theorem on donuts (with arbitrarily many holes) since 1968

---

Tweet 2

Apparently the bounds were most difficult to obtain for donuts with 59, 83, 158 and 257 holes

---