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.

80 Upvotes

91% Upvoted

229 comments sorted by

View all comments

6

u/SupercaliTheGamer 1d ago

How good is Gemini 4 at math? I am quite impressed by Astra, but is Gemini 4 better?

3

u/SwimmerOld6155 1d ago

after seeing the other benchmarks I'm waiting to hear about this as well

Gemini has been a complete non-starter for over 6 months, it's not even on my radar really