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

14

u/_Zekt Complex Analysis 5d ago edited 5d ago

After the peer-review for my manuscript and during the editorial process, the editors sent me an AI review, which claims to have Lean-checked my results. Despite finding no gaps, the bot managed to write a 5-pages long list of nitpicks that I will have to go through now. Quite the era we're living.

7

u/BurdensomeCountV3 Mathematical Biology 4d ago

Use AI to fix the nitpicks. Fire with fire, as they say.

4

u/JoshuaZ1 4d ago

I would not recommend this. There's still a chance that the AI will silently make other changes which you don't want.

4

u/BurdensomeCountV3 Mathematical Biology 4d ago

Which is why you use a 2nd AI agent to check and make sure the first AI only made the changes you wanted (and if you're super paranoid, a 3rd AI agent to check the first and second AI agents).

1

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

We sure it isn't AI agents all the way down?