Checking a Racist Alien AI’s Homework

Near the end of Jordan Ellenberg’s wonderful collection of essays Shape he writes: What if the Poincaré Conjecture had been proved, not by an introverted Russian geometer, but by a machine? Say, a grandchild of a grandchild of Chinook, which instead of solving checkers had managed to solve this part of three-dimensional geometry. And suppose … Continue reading Checking a Racist Alien AI’s Homework