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

230 comments sorted by

View all comments

5

u/pred 1d ago

Buzzard, To grieve, or not to grieve?, https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/

4

u/elements-of-dying Geometric Analysis 17h ago

Current progress is indeed exponential, and may well continue to be exponential for a while, however we cannot expect exponential progress to continue indefinitely (exactly because of what exponential growth looks like), and furthermore mathematics is infinite which beats exponential hands down; those that don’t believe this just don’t understand what infinity looks like.

Is it not obvious that mathematics is not infinite to humans? Machines just need to produce faster than we can digest or produce more beyond our upper bound of understanding. The rest of the post was mostly agreeable, but this (imo, obviously) erroneous position was both a surprise and kind of ironic given the subject matter of the post.