I wonder what Demis Hassabis thinks about this. I thought he cared a lot about mathematics.