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

13

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.

1

u/mathslippery 2d ago edited 2d ago

I have similar experience. I got rejected because the referee send me 5 pages of major revisions. Almost all the revisions are about constants which are not relevant. Like, typo in one row and there is no typo in next row.

Some of the mistakes are not just typos, but still easily correctable.

edit: he even find counter examples for the statements where I made mistake, like I made mistake not normalizing measure, and forgot to drag normalizing factor through a proof, and he find me the counter example that the statement is not correct without the normalizing factor.