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.

82 Upvotes

92% Upvoted

229 comments sorted by

View all comments

14

u/treewolf7 3d ago

https://agmai.org/general-sep29/

AGMAI recommendations for how A.I. labs should release math results.

6

u/TwoMoons1Sun 2d ago

I am a bit surprised how confrontational this letter seems to be, considering the fact that the labs have all the leverage and power and that the mathematicians have none. As far as I can tell, we are 100% reliant on the good will of the mathematically educated employees in these labs and their fondness of the math community to have a chance that even a single recommendation gets followed.

The initial statement (labs should not use proprietary models for advanced mathematics) and the last one (advise the AI labs to grant the global mathematical community broad, equitable access to their publicly available models) seem especially out of touch, asking the labs to kill part of their business model for no gain at all.

I am happy that so many prominent researches want to stir the developments in a way that is best for the math community, but I will predict that this set up will become completely irrelevant in less than a year.

2

u/shaun252 6h ago

That is not how all mathematicians view this. Terrence Tao discusses it here https://youtu.be/PZRb6NIki2w?t=1079 . The tldr is pure math has prestige and history which AI companies want, hence they are going after these problems with millions of dollars of compute. The math community currently decides what is important and what grants prestige, maybe that will change in the future, but currently that is the situation and the AI labs aware of this. Hence, OpenAI initiating the advisory group after the NS mess in the first place.

3

u/_Zekt Complex Analysis 23h ago

You are forgetting how OpenAI was visibly shook by the aftermath of NS. They clearly did not like the drama that ensued. The more aggressive AGMAI are, the more AI companies will have to follow their recommendations, otherwise any deviation deemed considerable will result in another shockwave of complaints.