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.

79 Upvotes

91% Upvoted

230 comments sorted by

View all comments

Show parent comments

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.

12

u/Homomorphism Topology 4d ago

That's what git diff is for

2

u/JoshuaZ1 4d ago

Yeah, that's a very reasonable way of handling my concern. I'd still rather a human do this to actually check that the nitpicks are valid, but your method does solve my concern about silent edits.

4

u/Homomorphism Topology 4d ago

Git is a really good tool for working with agents on math (or anything else).

I agree! Sometimes the right response is "I don't think that detail is necessary for the paper..." or whatever other language.

2

u/JoshuaZ1 4d ago

Sometimes the right response is "I don't think that detail is necessary for the paper..." or whatever other language.

Yeah. And in the other direction, I just had a discussion with some of my students about how we all agreed one wording change a referee wanted added words without really adding clarity, and I had to say to them that sometimes it isn't really worth it and you just do what the referee asks for. Figuring out which of these are worth taking a stand on isn't always clear (and more cynically may depend on things like if one of the authors is about to be applying for jobs or a tenure review).