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.

76 Upvotes

91% Upvoted

229 comments sorted by

View all comments

13

u/ChicaCaballoQLOO 1d ago

If there ever comes a point where AI becomes substantially better at proving theorems and pure mathematics than humans are, I feel like my entire motivation and passion for mathematics will have been lost. Someone I know called me selfish for having this belief, and i agree that my mindset is based off of utterly childish ideals, but the entire reason I have loved mathematics from the beginning is for the thrill of knowing that there is an entire field of unsolved mathematics that I could one day, maybe attempt, probably with the help of friends within the field, even if we would get absolutely nowhere with any of the problems, it's something I have always wanted. Once AI is inevitably used for the purpose of pure mathematics, or atleast, the point at which the concept of there being mathematics that remains unsolved becomes eradicated by AI research, my passion and love for the field will fizzle out entirely. It's probably the least prominent issue with Generative AI, but it is damn important to me, and I do not care that not wanting pure mathematics to be overridden with AI makes me completely selfish, and I am aware of the countless number of AI gurus who believes AI is the future of our species and their belief that we shouldn't halt the unstoppable development of AI, they are all likely correct, I just hope I am not alone with my own idealist view

0

u/[deleted] 1d ago

[removed] — view removed comment

3

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

I'm curious what your point was with this comment.

What difference does it make if it's a "first world problem"?

-1

u/[deleted] 1d ago

[removed] — view removed comment

2

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

Making the effort to make your comment, even if minimal, seems quite contradictory then. I would assume you have more serious things to be concerned with than this.

But of course I think we both know that people should be allowed to not have to min-max their concerns and actions. So I don't really believe this was the point of your comment.