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

Gowers, writing days after OpenAI said it solved ten major problems in math and theoretical CS — including the first construction of a non-sofic group and a superexponential Ramsey-number bound — argues LLMs still aren't better than all humans at all aspects of mathematics, and aims to rule out bad answers about where they excel.