Tim Gowers: What sort of maths are LLMs good at?
A mathematician, writing from August 2026, examines how LLMs are solving major mathematical problems, particularly their strength in finding counterexamples. He delves into the subtle distinction between examples and theorems, and whether LLMs excel due to vast knowledge and brute force or true conceptual insight. This piece speculates on the future of AI in mathematical discovery, highlighting potential hurdles and the unique "nose" of human mathematicians.
The Lowdown
Tim Gowers, in a blog post from August 2026, reflects on the recent, impressive breakthroughs of LLMs in solving significant mathematical and theoretical computer science problems, often by generating counterexamples. He sets out to understand what types of mathematics LLMs are particularly adept at, acknowledging that their capabilities are rapidly evolving.
- LLMs have achieved