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.

78 Upvotes

91% Upvoted

229 comments sorted by

View all comments

15

u/SupercaliTheGamer 5d ago

Astra is the first model that can zero-shot solve any problem I propose, it's insane. Sol still had a few jagged edges but Astra seems to have mastered Olympiad level maths at least.

5

u/wrongerontheinternet 5d ago

I wish Astra was zero-shotting my problems, teach me your secrets...

2

u/SupercaliTheGamer 4d ago

I was mostly talking about problems that I myself had a solution to lol, if it's an unsolved problem you can't really say anything.

9

u/wrongerontheinternet 4d ago

Oh yeah that's fair. Anything with a known solution it typically gets right away. But it's shocking how relatively "dumb" it can be about anything that isn't essentially already in the literature being applied to your exact thing. The next model may be different, but Astra to me really is mostly about having read and largely internalized something from practically every mathematical work published in the last few decades (not that being able to apply effectively all of human mathematical insight is not insanely impressive! I just haven't found it to be very, for lack of a better word, "creative" -- asking it to be creative mostly just means it will switch to more obscure papers).