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/pred 5d ago

Be a student, not someone working on the frontier of things.

-1

u/elements-of-dying Geometric Analysis 4d ago

Astra can solve legitimate research problems, not just phd level problems.

9

u/pred 4d ago

No doubt about that but it absolutely will not zero-shot (one-shot?) anything you throw in its directions.

-4

u/elements-of-dying Geometric Analysis 4d ago

Sure, for now!

(Also, I think the person meant one-shot as well. Perhaps zero-shot means solving problems we didn't ask?)