Headlines and History The headlines keep coming: such and such an AI system has solved such and such a math problem. And more and more I’m hearing people saying: maybe we don’t need people doing math research anymore; maybe we should just delegate it all to more and more powerful AIs. I must admit that I’m getting a bit impatient with some of what’s being said. Because it seems to me too often to involve fundamental misunderstandings of what math is really about—and also, frankly, what AI is abo...