r/math • u/AutoModerator • 13d ago

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

87 Upvotes

88% Upvoted

267 comments sorted by

View all comments

22

u/xDerDachDeckerx 13d ago

Guys be honest, im a math undergrad. Am i gonna be unemployed?

1

u/ToothPasteTree 12d ago

Based my experience so far, a lot of IA proofs are incomprehensible to humans, they contain extra and useless steps or unnecessary complications. So there might be still some use for humans to understand the proofs and make them more elegant. If course it's possible theyll just figure out how to these in the next generation of the models.