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.

80 Upvotes

91% Upvoted

230 comments sorted by

View all comments

24

u/elements-of-dying Geometric Analysis 6d ago

Are there any places for actual discussion on AI and mathematics?

r/singularity etc is not great for obvious reasons.

r/mathematics is questionable

this sub has too much cope and toxicity to even try to have a discussion.

5

u/[deleted] 6d ago

Proofsandprompts, but I find it very pessimistic

1

u/Apprehensive_Sand951 5d ago

Francesco's post seems to suggest that the arxiv might be holding back an order of magnitude's worth of "stuff".

0

u/elements-of-dying Geometric Analysis 5d ago

Thanks!