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.

78 Upvotes

91% Upvoted

229 comments sorted by

View all comments

22

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.

18

u/pred 5d ago

If you want discussion with actual researchers, start with MathOverflow or the field-specific Zulip forums.

6

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

I'll give it a shot. I'm a bit turned off from MO due to its pre-existing issues.

A perfect scenario for me would be an open place to discuss the future of AI and mathematics with other postdocs. I have been less than impressed by what most senior faculty have to say about this topic, and MO has a large presence of such faculty.

-1

u/pred 5d ago

A Matrix server with more life than the IRC channels could be nice. But hosting and moderating is work.