The Co-Mathematician's Question
Copyright: Sanjay Basu I n late April, an Oxford topologist named Marc Lackenby fed a problem from a battered Russian notebook to an AI that DeepMind had been quietly building for the better part of a year. The notebook is the Kourovka Notebook, and it has been collecting unsolved questions in group theory since 1965, passed mathematician to mathematician across continents and editions, like an open-mic list nobody quite knows how to close. The question Lackenby chose, problem 21.10, had outlived two generations of mathematicians. A few days and one caught-out flawed proof later, the problem was closed. The strange part isn’t that the machine solved it. The strange part is what happened in between. Most reporting on the result settled into the predictable register. Machine cracks human problem. The expected think pieces filed themselves. What got less airtime, and what is actually the story, is the workflow that did the cracking, and a small philosophical pinch point it produced almost...