Can AI play pool like a mathematician?