AI In Mathematics: August 15, 2026

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 paper to arXiv; informal announcements of discoveries related to AI architecture (if relevant to mathematics); discussion of such announcements, such as proof breakdowns or other opinion pieces; discussion of the impact of AI in mathematics in general. AI-assisted mathematical papers published in peer-reviewed journals or as arXiv preprints may be submitted as their own posts. Please keep in mind rules 1 and 6 of our subreddit.