The Co-Mathematician’s Question

In late April, an Oxford topologist named Marc Lackenby fed a problem from a battered Russian notebook to an AI that DeepMind had been…