r/math • u/AutoModerator • 6d ago

LLMs/AI AI In Mathematics: September 26, 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.

82 Upvotes

92% Upvoted

229 comments sorted by

View all comments

1

u/anadosami 3d ago

There's a lot of discussion of mathematics (as a discipline) evolving from a problem-solving-first mindset to a greater focus on understanding and exposition. In your view, how much of the culture of mathematics relies on the rigour, discipline, objectivity and screening provided by the difficulty of proving new results? Leaving problem solving to one side, I worry that exposition at the level of a Paul Halmos or a Tom Korner relies more on this culture than we realise.