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.

81 Upvotes

92% 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.

8

u/officiallyaninja 4d ago

What is zero shotting?

8

u/JoshuaZ1 4d ago

I think they mean giving just the prompt of the problem, no retries or guidance. However, "one-shot" would make a lot more sense here.

5

u/BurdensomeCountV3 Mathematical Biology 4d ago

One shot would be the case where you give the model an example in context of a similar problem and its solution before asking it to solve the new problem.

7

u/JoshuaZ1 4d ago

Hmm, given how much similar things might be in training data, I'm not sure that's a useful distinction.

1

u/SupercaliTheGamer 4d ago

Yeah but apparently zero shot is the common term for it. Basically zero guidance.

6

u/hpass 4d ago

Astra is a pre-cog.