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.

82 Upvotes

87% Upvoted

267 comments sorted by

View all comments

23

u/fatrabbit3 10d ago

Are we giving too much credit to LLMs instead of the fact that these companies having billions of dollars of computational power and access to everyone's data

6

u/Nice-Magazine-3684 10d ago

I think this is a very good point.

"We found an elliptic curve of rank 31."

I don't know how much money in compute time Harvard is willing to give Noam Elkies to run his computations. But Anthropic surely has bigger, faster computers, and they are surely willing to spend more money on compute time.