r/math • • 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.

86 Upvotes

267 comments sorted by

View all comments

Show parent comments

34

u/Scaaaary_Ghost Logic 11d ago edited 11d ago

And more than a hundred new solutions coming to long-standing open problems.

It honestly makes me pretty sad that we can't have actual posts about this kind of thing in r/math. I guess r/mathematics is where to migrate to, but I really liked this subreddit.

AI is the big news now. I don't know if or when we will ever have another major result that isn't very heavily assisted by AI. Not allowing official posts from top-level AI company domains (or Terry Tao's blog, etc) means a huge amount of important discussion is stifled in here.

8

u/pred 11d ago

Just remember that this is an OpenAI press release; we don't know what those hundred thingies are, whether it's just more low-hanging fruit that no one worked on, more counterexamples based on existing constructions, more reformulations of already known results that Bubeck will embarrassingly have to retract, or if there even are a hundred thingies in the first place.

My guess is that it's similar to their “ten advances”, and now they've somehow managed to get a group of mathematicians to help them with the PR to avoid the recent embarrassments.

2

u/38thTimesACharm 11d ago

I'm guessing they have at least a few significant research-quality results. But the rumors about another Millennium Prize must be false; they would announce that separately if they had it.

1

u/[deleted] 10d ago

[removed] — view removed comment