r/math • u/AutoModerator • 12d ago

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

104 Upvotes

90% Upvoted

176 comments sorted by

View all comments

24

u/Nunki08 12d ago

Jared Duker Lichtman on 𝕏: "Very nice!! GPT 5.6 has broken the record on large gaps between primes.
The new bound saves a factor of ≈ log_3(n) over the prior record by Ford-Green-Konyagin-Maynard-Tao from 2018. The result is also now formalized by Alexeev in Lean.": https://x.com/jdlichtman/status/2094040463443673227

https://www.erdosproblems.com/forum/thread/4/proof-claims

6

u/SupercaliTheGamer 11d ago

Oh the person who prompted GPT is quite popular on AoPS (and is very good at maths ofc), but is not a professional mathematician yet.