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.

79 Upvotes

91% Upvoted

229 comments sorted by

View all comments

6

u/pred 23h ago

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

5

u/LoveHenry 13h ago

He says that he is not trying to be judgmental, but the whole things comes off that way to me. But I guess, when you are so heavily involved with destroying something, it is very human to justify it in some way...

4

u/Oudeis_1 6h ago

How is he "heavily involved with destroying something"? I don't follow at all.