Mulling AI and maths

Some AI + mathematics things I read recently and am mulling below. I’ve been struggling to pull these and various threads on the topic into a cogent whole, even if only for myself, because the developments have been coming fast and thick, with no indications they will slow in the near future. There are also discussions starting in physics, for example see here, here, and here. I appreciated Rohini Subrahmanyam’s deeply reported feature for The Hindu (paywalled), published on September 21, on how mathematicians are feeling and thinking about AI models’ assault on open math problems because it offered something of a checkpoint. But a lot of things have happened since, including a tremendous amount in the last week alone. (What follows is a collection of posts, articles, etc. on my mind rather than something that will help you catch up.) Guiding AI companies Martin Hairer, one of the other members of AGMAI (the advisory group on mathematics and AI), has written a post on the Proofs and…