[math-fun] Sedol loses game 1. Humankind=toast?