What's this about?
Rather than asking whether AI can do mathematics, this paper documents *how* to use it effectively: an extensive case study of human-AI collaboration that improved the known bounds on the Grothendieck constant K_G, a genuinely open problem.
What exactly is a "bound" on a constant?
Some mathematical constants can't be computed exactly with current techniques, so mathematicians prove they lie between two values — a lower and an upper bound — and progress means narrowing that window. The Grothendieck constant is one such number, unresolved since the 1950s, arising in functional analysis and connected to problems in theoretical computer science. Improving a bound is real, publishable progress even without knowing the exact value.
Why is this worth noticing?
- It pairs naturally with Gowers's post from the same day: Gowers asks what mathematical ability would look like, while this paper reports on the practical collaboration methods that currently work.
- Case studies of *process* — what to delegate, when to verify, how to structure a long research campaign with an agent — are scarcer and arguably more useful right now than another benchmark score.