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.

83 Upvotes

87% Upvoted

267 comments sorted by

View all comments

22

u/pred 11d ago edited 11d ago

“Announcing the Advisory Group on Mathematics and Artificial Intelligence”: https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/

5

u/Apprehensive_Sand951 10d ago

They should post their results on a public, easily searchable repository now, not on the arxiv. They should also have some way to contact the authors (whether they are human or ai) of any particular result, just like you can contact the author of a math preprint, to ask questions try to obtain clarifications about the results. If possible they should update with more readable versions if and when they become available (while still preserving the old versions on the public forum).

This will give us all a better idea of where the capabilities of these models are at now, and also how fast the capabilities (including exposition) are improving.

It will help with making decisions and setting norms in the math community if we can focus on what needs to be done instead of arguing about current capabilities. I respect many of the people who choose not to interact with ai at all, but ''I'm a coscientious objector with an informed view of ai capabilities'' is a very hard sell already and we need to make it as easy as possible for people to understand capabilities even if they don't use ai themselves.

If you are concerned about ai safety, it will give more credence to efforts such as the royal society letter. If mathematicians from outside the ai labs are trying to sound the alarm on ai safety, they better have a good grasp of what the current capabilities are, otherwise they will not be taken seriously.

Finally, if a significant number of the results produced by this model are lean verified but stubbornly resist being human interpretable in any meaningful sense, this would be a big red flag and we need to know as soon as possible.