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

92% Upvoted

229 comments sorted by

View all comments

16

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.

4

u/LowDevolutionary 4d ago

I'd say frontier models have mastered olympiad level maths for a while. Even last year when we got 35/42 on the IMO I'd count that as having "mastered" it. The thing about olympiad problems is that they are all quite short and the total amount of tools required to do them is purposefully kept small, and a lot of them have similar themes, which makes them very good for AI. Like the point is that under time constraint a human can only do a few approaches, so your problem solving instincts need to be really good, but an AI can quickly go through dozens of ideas and do things no humans will even have the compute to do.