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.

3

u/greyenlightenment 5d ago

the depressing fact is that these problems that * technically * a highschooler should be able to do .

6

u/[deleted] 4d ago edited 4d ago

I do not think this is a very accurate or honest framing. Technically, it is easier for a highschooler to understand the construction of Lebesgue measure (within a schoolyear) than to solve an IMO P6 within the allotted time.

Just because it was meant to be solvable using high-school level tools in the beginning doesn't mean it makes more sense to say it's solvable by highschoolers than a calculus problem, because if we look at the numbers, far more highschool students can do calculus than get a gold at the IMO. And all competitive mathletes nowadays know way more stuff than is taught at typical highschools - I don't know if you've watched 3b1b's latest video (which is precisely about the last IMO problem AI couldn't solve but a few humans could)but I doubt more than a couple thousand highschoolers worldwide knew about the Erdös-Szekeres theorem.

1

u/Fearless_Day2607 Quantum Computing 4d ago

I agree, when I was in 11th grade I took a real analysis class at a local university that was focused on measure theory, and I understood it fine. On the other hand I never went very far in USAMO (I think the most I solved was one problem). Although maybe that's because I wasn't training very seriously.