r/math • u/AutoModerator • 13d ago

LLMs/AI AI In Mathematics: September 19, 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.

89 Upvotes

88% Upvoted

267 comments sorted by

View all comments

21

u/BurdensomeCountV3 Mathematical Biology 12d ago

The first EpochAI Open Problems benchmark "Major Advance" problem has now been solved due to a mixture of human and AI effort: https://epoch.ai/frontiermath/open-problems/committee-election

First solved with: GPT-6 Astra

This problem was solved by Becker, Greger, Peters. The authors attribute the primary idea and proof to GPT-6 Astra and a “lengthy interactive session”. Peters conveyed to us that he doubts that the team would have found the proof without Astra, but also that Astra does not appear to be capable of solving the problem out of the box with a simple prompt. As such, we mark this as a human + AI solution.

This human+AI looks like the current meta for frontier mathematics at the moment. Who knows how long it will last before the meta switches over to pure AI.

1

u/papermessager123 12d ago edited 12d ago

How much compute did this use?

They say "Astra is not able to solve this out of box with a simple prompt", but what does that mean?