Tim Gowers: What sort of maths are LLMs good at? — Blankdot