This recurring thread will be for discussion of AI in mathematics. This includes, but is not limited to, the following: informal announcements of AI-assisted discoveries, such as those not yet published in a peer-reviewed journal, or not uploaded as a…