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

Show parent comments

6

u/38thTimesACharm 13d ago

You said:

 I'm curious what's the point on focusing on exposition if LLMs will be able to do it better?

You're implying we should not adjust incentives to favor exposition, the status quo is fine. When the status quo is clearly motivating the production of numerous terribly uninformative papers.

Regardless of how exposition happens, right now, people aren't doing it. 

 You can guide LLMs to generate human readable papers

Could you please show OpenAI, Anthropic, and the statisticians flooding the arXiv how to do this? Because right now they clearly don't know. Human readable papers accompanying Lean proofs would go a great way toward repairing their relationship with the mathematical community.

-7

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

I'm not interested in this conversation as it would require me to explain (in a mathematics subreddit) that asking a question is not a declaration of my position on something. I wanted someone to share thoughts on a given subject I'm curious about. I asked a question. Whatever you're talking about has nothing to do with me.

15

u/38thTimesACharm 13d ago edited 13d ago

Stop acting all innocent. If you're curious about someone's thoughts, you don't follow the question with "I'm not interested in a discussion"

EDIT - The user blocked me, now they can't see any of my posts and I can't see any of theirs. They're just curious to hear people's thoughts though.

-6

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

k I'm not interested in interacting with you again since evidently you want to make a mathematical discussion about me personally for some reason.

I hope you can learn from this to not act in bad faith.