Last night some of the strands of gamgee inside my skull connected up and I remembered something I learned nearly 14 years ago, which I think is relevant to the discussion of AI in mathematics, and in particular to the … Continue reading →