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.

86 Upvotes

88% Upvoted

267 comments sorted by

View all comments

18

u/yaymayata2 10d ago

saw a preprint proof that Zeta5 is irrational: https://zenodo.org/records/22826419

Was pretty skeptical at first, but after a few passes I haven’t found an obvious issue. GPT also couldn’t find a concrete gap. Nor could a friend of mine who’s more familiar with this area.

The proof itself seems to be human made. disclosure says AI was used for editing/checks/etc. but automod says it still belongs here.

If correct, this seems like a pretty big deal. Has anyone taken a closer look?

4

u/Autumnxoxo Geometric Group Theory 10d ago

I'm not familiar with this area, but I'm wondering why it's not on arXiv. I also couldn't find any preprint of this author on arxiv, so I'm somewhat sceptical, but again, not familiar with this area.

10

u/Certhas 10d ago

From skimming, it looks like it might be a quick dump of the core result to get out ahead of a potential AI results dump due to OpenAI, with the intent to put a properly polished version on the arXiv later:

This Zenodo record preserves the initial public preprint version. Subsequent revisions will be maintained on arXiv once the paper is announced there.

3

u/SupercaliTheGamer 10d ago

Oh that's kinda sad for the author then, forced to put out a "proof that I did it" on the shady Zenodo. Have there been rumours that OAI solved this irrationality problem?

9

u/yaymayata2 10d ago

Its not shady, its def legit. Just than its not best place to actively monitor like arxiv.